default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlessio Lomuscio
Alessio R. Lomuscio
Person information
- affiliation: Imperial College London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c162]Ben Batten, Mehran Hosseini, Alessio Lomuscio:
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks. AISTATS 2024: 4906-4914- [c161]Ben Batten, Yang Zheng, Alessandro De Palma, Panagiotis Kouvaros, Alessio Lomuscio:
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. ECAI 2024: 2362-2369 - [c160]Edward Stevinson
, Alessio Lomuscio:
Reducing Return Volatility in Neural Network-Based Asset Allocation via Formal Verification and Certified Training. ICAIF 2024: 27-35 - [c159]Alessandro De Palma, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio:
Expressive Losses for Verified Robustness via Convex Combinations. ICLR 2024 - [i15]Ben Batten, Mehran Hosseini, Alessio Lomuscio:
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks. CoRR abs/2401.11627 (2024) - [i14]Thomas Walker, Alessio Lomuscio:
Tightening the Evaluation of PAC Bounds Using Formal Verification Results. CoRR abs/2407.20122 (2024) - [i13]Ben Batten, Yang Zheng, Alessandro De Palma, Panagiotis Kouvaros, Alessio Lomuscio:
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. CoRR abs/2408.13140 (2024) - [i12]Benedikt Brückner, Alessio Lomuscio:
Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels. CoRR abs/2411.04594 (2024) - 2023
- [j37]Ransalu Senanayake, Daniel J. Fremont, Mykel J. Kochenderfer, Alessio R. Lomuscio, Dragos D. Margineantu, Cheng Soon Ong:
Guest Editorial: Special issue on robust machine learning. Mach. Learn. 112(8): 2787-2789 (2023) - [c158]Patrick Henriksen, Alessio Lomuscio:
Robust Training of Neural Networks against Bias Field Perturbations. AAAI 2023: 14865-14873 - [c157]Jianglin Lan, Yang Zheng, Alessio Lomuscio:
Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification. AAAI 2023: 14937-14945 - [c156]Jianglin Lan, Benedikt Brückner, Alessio Lomuscio:
A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification. AAAI 2023: 14946-14954 - [c155]Francesco Leofante, Alessio Lomuscio:
Towards Robust Contrastive Explanations for Human-Neural Multi-agent Systems. AAMAS 2023: 2343-2345 - [c154]Mehran Hosseini, Alessio Lomuscio:
Bounded and Unbounded Verification of RNN-Based Agents in Non-deterministic Environments. AAMAS 2023: 2382-2384 - [c153]Harleen Hanspal, Alessio Lomuscio:
Efficient Verification of Neural Networks Against LVM-Based Specifications. CVPR 2023: 3894-3903 - [c152]Francesco Leofante, Alessio Lomuscio:
Robust Explanations for Human-Neural Multi-agent Systems with Formal Verification. EUMAS 2023: 244-262 - [c151]Francesco Leofante, Patrick Henriksen, Alessio Lomuscio:
Verification-friendly Networks: the Case for Parametric ReLUs. IJCNN 2023: 1-9 - [c150]Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos D. Margineantu, Alessio Lomuscio:
Verification of Semantic Key Point Detection for Aircraft Pose Estimation. KR 2023: 757-762 - [c149]Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio:
Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems. NeSy 2023: 427 - [i11]Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio:
Expressive Losses for Verified Robustness via Convex Combinations. CoRR abs/2305.13991 (2023) - 2022
- [j36]Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio:
Formal verification of neural agents in non-deterministic environments. Auton. Agents Multi Agent Syst. 36(1): 6 (2022) - [j35]Alessio Lomuscio, Edoardo Pirovano:
A counter abstraction technique for verifying properties of probabilistic swarm systems. Artif. Intell. 305: 103666 (2022) - [j34]Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, Emily Yu:
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications. J. Artif. Intell. Res. 73: 897-932 (2022) - [c148]Jianglin Lan, Yang Zheng, Alessio Lomuscio:
Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations. AAAI 2022: 7272-7280 - [c147]Patrick Henriksen, Francesco Leofante, Alessio Lomuscio:
Repairing misclassifications in neural networks using limited data. SAC 2022: 1031-1038 - 2021
- [c146]Yi-Ling Liu, Alessio Lomuscio:
Robustness Learning via Decision Tree Search Robust Optimisation. BMVC 2021: 71 - [c145]Patrick Henriksen, Kerstin Hammernik, Daniel Rueckert, Alessio Lomuscio:
Bias Field Robustness Verification of Large Neural Image Classifiers. BMVC 2021: 202 - [c144]Panagiotis Kouvaros, Trent Kyono, Francesco Leofante, Alessio Lomuscio, Dragos D. Margineantu, Denis Osipychev, Yang Zheng:
Formal Analysis of Neural Network-Based Systems in the Aircraft Domain. FM 2021: 730-740 - [c143]Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin:
Reasoning About Agents That May Know Other Agents' Strategies. IJCAI 2021: 1787-1793 - [c142]Ben Batten, Panagiotis Kouvaros, Alessio Lomuscio, Yang Zheng:
Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts. IJCAI 2021: 2184-2190 - [c141]Patrick Henriksen, Alessio Lomuscio:
DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis. IJCAI 2021: 2549-2555 - [c140]Panagiotis Kouvaros, Alessio Lomuscio:
Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching. IJCAI 2021: 2643-2650 - [c139]Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Synthesizing Best-effort Strategies under Multiple Environment Specifications. KR 2021: 42-51 - [c138]Vahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio:
OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks. SEFM 2021: 463-480 - [e10]Frank Dignum, Alessio Lomuscio, Ulle Endriss, Ann Nowé:
AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021. ACM 2021, ISBN 978-1-4503-8307-3 [contents] - 2020
- [j33]Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Verification of multi-agent systems with public actions against strategy logic. Artif. Intell. 285: 103302 (2020) - [c137]Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener:
Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. AAAI 2020: 3291-3299 - [c136]Francesco Belardinelli, Alessio Lomuscio, Emily Yu:
Model Checking Temporal Epistemic Logic under Bounded Recall. AAAI 2020: 7071-7078 - [c135]Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio:
Formal Verification of Neural Agents in Non-deterministic Environments. AAMAS 2020: 25-33 - [c134]Alessio Lomuscio, Edoardo Pirovano:
Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems. AAMAS 2020: 762-770 - [c133]Patrick Henriksen, Alessio R. Lomuscio:
Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search. ECAI 2020: 2513-2520 - [c132]Alessio Lomuscio, Edoardo Pirovano:
Verifying Fault-Tolerance in Probabilistic Swarm Systems. IJCAI 2020: 325-331 - [c131]Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Synthesizing strategies under expected and exceptional environment behaviors. IJCAI 2020: 1674-1680 - [c130]Yi-Ling Liu, Alessio Lomuscio:
MRobust: A Method for Robustness against Adversarial Attacks on Deep Neural Networks. IJCNN 2020: 1-8 - [c129]Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio:
Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. KR 2020: 22-32
2010 – 2019
- 2019
- [j32]Ioana Baldini, Clark W. Barrett, Antonio Chella, Carlos Cinelli, David Gamez, Leilani H. Gilpin, Knut Hinkelmann, Dylan Holmes, Takashi Kido, Murat Kocaoglu, William F. Lawless, Alessio Lomuscio, Jamie C. Macbeth, Andreas Martin, Ranjeev Mittu, Evan Patterson, Donald Sofge, Prasad Tadepalli, Keiki Takadama, Shomir Wilson:
Reports of the AAAI 2019 Spring Symposium Series. AI Mag. 40(3): 59-66 (2019) - [c128]Michael E. Akintunde, Andreea Kevorchian, Alessio Lomuscio, Edoardo Pirovano:
Verification of RNN-Based Neural Agent-Environment Systems. AAAI 2019: 6006-6013 - [c127]Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone:
An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information. AAAI 2019: 6030-6037 - [c126]Alessio Lomuscio, Edoardo Pirovano:
A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems. AAMAS 2019: 161-169 - [c125]Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano, Hashan Punchihewa:
Formal Verification of Open Multi-Agent Systems. AAMAS 2019: 179-187 - [c124]Yi-Ling Liu, Alessio Lomuscio:
An MCTS-based Adversarial Training Method for Image Recognition. IJCNN 2019: 1-8 - [c123]Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Imperfect Information in Alternating-Time Temporal Logic on Finite Traces. PRIMA 2019: 469-477 - 2018
- [j31]Fabio Grandi, Martin Lange, Alessio Lomuscio:
22nd International Symposium on Temporal Representation and Reasoning (TIME 2015). Inf. Comput. 259(3): 303-304 (2018) - [j30]Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano:
Practical verification of multi-agent systems against Slk specifications. Inf. Comput. 261: 588-614 (2018) - [j29]Alessio R. Lomuscio, Moshe Y. Vardi:
4th International Workshop on Strategic Reasoning (SR 2016). Inf. Comput. 261: 615 (2018) - [c122]Jeremy Kong, Alessio Lomuscio:
Model Checking Multi-Agent Systems against LDLK Specifications on Finite Traces. AAMAS 2018: 166-174 - [c121]Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Decidable Verification of Multi-agent Systems with Bounded Private Actions. AAMAS 2018: 1865-1867 - [c120]Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Alternating-time Temporal Logic on Finite Traces. IJCAI 2018: 77-83 - [c119]Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano:
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems. IJCAI 2018: 324-330 - [c118]Alessio Lomuscio, Edoardo Pirovano:
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems. IJCAI 2018: 403-409 - [c117]Michael Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano:
Reachability Analysis for Neural Agent-Environment Systems. KR 2018: 184-193 - [c116]Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone:
Approximating Perfect Recall When Model Checking Strategic Abilities. KR 2018: 435-444 - [i10]Panagiotis Kouvaros, Alessio Lomuscio:
Formal Verification of CNN-based Perception Systems. CoRR abs/1811.11373 (2018) - 2017
- [j28]Alessio Lomuscio, Hongyang Qu, Franco Raimondi:
MCMAS: an open-source model checker for the verification of multi-agent systems. Int. J. Softw. Tools Technol. Transf. 19(1): 9-30 (2017) - [c115]Panagiotis Kouvaros, Alessio Lomuscio:
Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction. AAAI 2017: 3013-3020 - [c114]Jeremy Kong, Alessio Lomuscio:
Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications. AAMAS 2017: 114-122 - [c113]Francesco Belardinelli, Alessio Lomuscio:
Agent-based Abstractions for Verifying Alternating-time Temporal Logic with Imperfect Information. AAMAS 2017: 1259-1267 - [c112]Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Verification of Multi-agent Systems with Imperfect Information and Public Actions. AAMAS 2017: 1268-1276 - [c111]Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. IJCAI 2017: 91-97 - [c110]Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio:
Parameterised Verification of Data-aware Multi-Agent Systems. IJCAI 2017: 98-104 - [c109]Panagiotis Kouvaros, Alessio Lomuscio:
Verifying Fault-tolerance in Parameterised Multi-Agent Systems. IJCAI 2017: 288-294 - [c108]Jeremy Kong, Alessio Lomuscio:
Model Checking Multi-Agent Systems against LDLK Specifications. IJCAI 2017: 1138-1144 - [c107]Ramin M. Hasani, Dieter Haerle, Christian F. Baumgartner, Alessio R. Lomuscio, Radu Grosu:
Compositional neural-network modeling of complex analog circuits. IJCNN 2017: 2235-2242 - [i9]Alessio Lomuscio, Lalit Maganti:
An approach to reachability analysis for feed-forward ReLU neural networks. CoRR abs/1706.07351 (2017) - 2016
- [j27]Panagiotis Kouvaros, Alessio Lomuscio:
Parameterised verification for multi-agent systems. Artif. Intell. 234: 152-189 (2016) - [c106]Alessio Lomuscio, Jakub Michaliszyn:
Verification of Multi-Agent Systems via Predicate Abstraction against ATLK Specifications. AAMAS 2016: 662-670 - [c105]Panagiotis Kouvaros, Alessio Lomuscio:
Formal Verification of Opinion Formation in Swarms. AAMAS 2016: 1200-1208 - [c104]Ioana Boureanu, Panagiotis Kouvaros, Alessio Lomuscio:
Verifying Security Properties in Unbounded Multiagent Systems. AAMAS 2016: 1209-1217 - [c103]Francesco Belardinelli, Alessio Lomuscio, Jakub Michaliszyn:
Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems. ECAI 2016: 286-294 - [c102]Francesco Belardinelli, Alessio Lomuscio:
Abstraction-Based Verification of Infinite-State Reactive Modules. ECAI 2016: 725-733 - [c101]Panagiotis Kouvaros, Alessio Lomuscio:
Parameterised Model Checking for Alternating-Time Temporal Logic. ECAI 2016: 1230-1238 - [c100]Francesco Belardinelli, Alessio Lomuscio:
A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems. JELIA 2016: 112-126 - [c99]Alessio Lomuscio, Jakub Michaliszyn:
Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions. KR 2016: 298-308 - [c98]Alessio Lomuscio:
Advances in Verification of Multi-agent Systems. WADT 2016: 3-4 - [e9]Alessio Lomuscio, Moshe Y. Vardi:
Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016. EPTCS 218, 2016 [contents] - 2015
- [c97]Petr Cermák, Alessio Lomuscio, Aniello Murano:
Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications. AAAI 2015: 2038-2044 - [c96]Panagiotis Kouvaros, Alessio Lomuscio:
A Counter Abstraction Technique for the Verification of Robot Swarms. AAAI 2015: 2081-2088 - [c95]Alessio Lomuscio, Jakub Michaliszyn:
Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions. AAMAS 2015: 189-198 - [c94]Alessio Lomuscio, Hugo Paquet:
Verification of Multi-Agent Systems via SDD-based Model Checking. AAMAS 2015: 1713-1714 - [c93]Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio:
Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction. ICSOC 2015: 253-268 - [c92]Francesco Belardinelli, Davide Grossi, Alessio Lomuscio:
Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems. IJCAI 2015: 854-860 - [c91]Panagiotis Kouvaros, Alessio Lomuscio:
Verifying Emergent Properties of Swarms. IJCAI 2015: 1083-1089 - [e8]Fabio Grandi, Martin Lange, Alessio Lomuscio:
22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-9317-1 [contents] - [i8]Alessio Lomuscio, Jakub Michaliszyn:
Model Checking Epistemic Halpern-Shoham Logic Extended with Regular Expressions. CoRR abs/1509.00608 (2015) - 2014
- [j26]Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi:
Verification of Agent-Based Artifact Systems. J. Artif. Intell. Res. 51: 333-376 (2014) - [c90]Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano:
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. CAV 2014: 525-532 - [c89]Alessio R. Lomuscio, Jakub Michaliszyn:
Decidability of model checking multi-agent systems against a class of EHS specifications. ECAI 2014: 543-548 - [c88]Alessio Lomuscio, Jakub Michaliszyn:
An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications. KR 2014 - [c87]Alessio Lomuscio, Jakub Michaliszyn:
Model Checking Unbounded Artifact-Centric Systems. KR 2014 - [c86]Alessio Lomuscio, Lawrence S. Moss, Ekaterina Ovchinnikova, Riccardo Rosati:
Tutorials. KR 2014 - [c85]Alessio R. Lomuscio:
Advances in Symbolic Model Checking for Multi-agent Systems. TIME 2014: 4 - [e7]Ana L. C. Bazzan, Michael N. Huhns, Alessio Lomuscio, Paul Scerri:
International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014. IFAAMAS/ACM 2014, ISBN 978-1-4503-2738-1 [contents] - [e6]Alessio Lomuscio, Surya Nepal, Fabio Patrizi, Boualem Benatallah, Ivona Brandic:
Service-Oriented Computing - ICSOC 2013 Workshops - CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. Lecture Notes in Computer Science 8377, Springer 2014, ISBN 978-3-319-06858-9 [contents] - [i7]Francesco Belardinelli, Alessio Lomuscio:
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results. CoRR abs/1401.5849 (2014) - [i6]Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano:
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. CoRR abs/1402.2948 (2014) - 2013
- [j25]Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu:
Assume-Guarantee Reasoning with Local Specifications. Int. J. Found. Comput. Sci. 24(4): 419-444 (2013) - [c84]Panagiotis Kouvaros, Alessio Lomuscio:
Automatic verification of parameterised multi-agent systems. AAMAS 2013: 861-868 - [c83]Andreas Griesmayer, Alessio Lomuscio:
Model Checking Distributed Systems against Temporal-Epistemic Specifications. FMOODS/FORTE 2013: 130-145 - [c82]Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio:
Model Checking GSM-Based Multi-Agent Systems. ICSOC Workshops 2013: 54-68 - [c81]Francesco Belardinelli, Alessio Lomuscio:
Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems. IJCAI 2013: 725-731 - [c80]Alessio Lomuscio, Jakub Michaliszyn:
An Epistemic Halpern-Shoham Logic. IJCAI 2013: 1010-1016 - [c79]Panagiotis Kouvaros, Alessio Lomuscio:
A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments. IJCAI 2013: 2013-2019 - [i5]Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi:
Verification of Agent-Based Artifact Systems. CoRR abs/1301.2678 (2013) - [i4]Panagiotis Kouvaros, Alessio Lomuscio:
Automatic Verification of Parameterised Interleaved Multi-Agent Systems. CoRR abs/1301.6431 (2013) - [i3]Alessio Lomuscio, Sophie Pinchinat, Holger Schlingloff:
VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181). Dagstuhl Reports 3(4): 151-187 (2013) - 2012
- [j24]Alessio Lomuscio, Hongyang Qu, Monika Solanki:
Towards verifying contract regulated service composition. Auton. Agents Multi Agent Syst. 24(3): 345-373 (2012) - [j23]Francesco Belardinelli, Alessio Lomuscio:
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results. J. Artif. Intell. Res. 45: 1-45 (2012) - [c78]Andrew V. Jones, Michal Knapik, Wojciech Penczek, Alessio Lomuscio:
Group synthesis for parametric temporal-epistemic logic. AAMAS 2012: 1107-1114 - [c77]Ioana Boureanu, Andrew V. Jones, Alessio Lomuscio:
Automatic verification of epistemic specifications under convergent equational theories. AAMAS 2012: 1141-1148 - [c76]Steve Barker, Andrew J. I. Jones, Antonis C. Kakas, Robert A. Kowalski, Alessio Lomuscio, Rob Miller, Stephen H. Muggleton, Giovanni Sartor:
The Scientific Contribution of Marek Sergot. Logic Programs, Norms and Action 2012: 4-11 - [c75]Alessio Lomuscio, Wojciech Penczek:
Symbolic Model Checking for Temporal-Epistemic Logic. Logic Programs, Norms and Action 2012: 172-195 - [c74]Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi:
Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction. ICSOC 2012: 17-31 - [c73]Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio:
Verifying GSM-Based Business Artifacts. ICWS 2012: 25-32 - [c72]Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi:
An Abstraction Technique for the Verification of Artifact-Centric Systems. KR 2012 - [c71]Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio:
Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments. KR 2012 - [c70]Francesco Belardinelli, Pavel Gonzalez, Alessio Lomuscio:
Automated Verification of Quantum Protocols using MCMAS. QAPL 2012: 48-62 - 2011
- [j22]Francesco Belardinelli, Alessio Lomuscio:
First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. Fundam. Informaticae 106(2-4): 175-190 (2011) - [j21]Alessio Lomuscio, Wojciech Penczek, Monika Solanki, Maciej Szreter:
Runtime Monitoring of Contract Regulated Web Services. Fundam. Informaticae 111(3): 339-355 (2011) - [j20]Francesco Belardinelli, Andrew V. Jones, Alessio Lomuscio:
Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata. Fundam. Informaticae 112(1): 19-37 (2011) - [c69]Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi:
Verification of Deployed Artifact Systems via Data Abstraction. ICSOC 2011: 142-156 - [c68]Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi:
A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. IJCAI 2011: 738-743 - [c67]Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor M. Veres:
Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle. IJCAI 2011: 1659-1664 - 2010
- [j19]Alessio Lomuscio, Wojciech Penczek, Hongyang Qu:
Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems. Fundam. Informaticae 101(1-2): 71-90 (2010) - [j18]Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu:
Model Checking Optimisation Based Congestion Control Algorithms. Fundam. Informaticae 102(1): 77-96 (2010) - [c66]Alessio Lomuscio, Wojciech Penczek, Hongyang Qu:
Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems. AAMAS 2010: 659-666 - [c65]Andrew V. Jones, Alessio Lomuscio:
Distributed BDD-based BMC for the verification of multi-agent systems. AAMAS 2010: 675-682 - [c64]Ioana Boureanu, Mika Cohen, Alessio Lomuscio:
Model checking detectability of attacks in multiagent systems. AAMAS 2010: 691-698 - [c63]Alessio Lomuscio, Monika Solanki, Wojciech Penczek, Maciej Szreter:
Runtime monitoring of contract regulated web services. AAMAS 2010: 1449-1450 - [c62]Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu:
Parallel Model Checking for Temporal Epistemic Logic. ECAI 2010: 543-548 - [c61]Mika Cohen, Alessio Lomuscio:
Non-elementary speed up for model checking synchronous perfect recall. ECAI 2010: 1077-1078 - [c60]Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu:
Assume-Guarantee Reasoning with Local Specifications. ICFEM 2010: 204-219 - [c59]Jonathan Ezekiel, Alessio Lomuscio:
A Methodology for Automatic Diagnosability Analysis. ICFEM 2010: 549-564 - [c58]Francesco Belardinelli, Alessio Lomuscio:
Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems. KR 2010 - [c57]Alessio Lomuscio, Hongyang Qu, Francesco Russo:
Automatic Data-Abstraction in Model Checking Multi-Agent Systems. MoChArt 2010: 52-68
2000 – 2009
- 2009
- [j17]Francesco Belardinelli, Alessio Lomuscio:
Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Artif. Intell. 173(9-10): 982-1013 (2009) - [j16]Ioana Boureanu, Mika Cohen, Alessio Lomuscio:
Automatic verification of temporal-epistemic properties of cryptographic protocols. J. Appl. Non Class. Logics 19(4): 463-487 (2009) - [c56]Alessio Lomuscio, Monika Solanki:
Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach. AINA Workshops 2009: 488-493 - [c55]Jonathan Ezekiel, Alessio Lomuscio:
Combining fault injection and model checking to verify fault tolerance in multi-agent systems. AAMAS (1) 2009: 113-120 - [c54]Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo:
Abstraction in model checking multi-agent systems. AAMAS (2) 2009: 945-952 - [c53]Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu:
A Data Symmetry Reduction Technique for Temporal-epistemic Logic. ATVA 2009: 69-83 - [c52]Alessio Lomuscio, Hongyang Qu, Franco Raimondi:
MCMAS: A Model Checker for the Verification of Multi-Agent Systems. CAV 2009: 682-688 - [c51]Alessio Lomuscio, Monika Solanki:
Towards an Agent Based Approach for Verification of OWL-S Process Models. ESWC 2009: 578-592 - [c50]Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu:
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. IJCAI 2009: 721-726 - [c49]Jonathan Ezekiel, Alessio Lomuscio:
An Automated Approach to Verifying Diagnosability in Multi-agent Systems. SEFM 2009: 51-60 - [c48]Francesco Belardinelli, Alessio Lomuscio:
First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. WoLLIC 2009: 140-154 - 2008
- [j15]Alessio Lomuscio, Wojciech Penczek:
LDYIS: a Framework for Model Checking Security Protocols. Fundam. Informaticae 85(1-4): 359-375 (2008) - [c47]Alessio Lomuscio, Hongyang Qu, Monika Solanki:
Towards verifying compliance in agent-based web service compositions. AAMAS (1) 2008: 265-272 - [c46]Alessio Lomuscio, Hongyang Qu, Monika Solanki:
Towards Verifying Contract Regulated Service Composition. ICWS 2008: 254-261 - [c45]Francesco Belardinelli, Alessio Lomuscio:
A Complete First-Order Logic of Knowledge and Time. KR 2008: 705-714 - [c44]Alessio Lomuscio, Wojciech Penczek, Hongyang Qu:
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. MoChArt 2008: 106-121 - 2007
- [j14]Alessio Lomuscio, Wojciech Penczek, Bozena Wozna:
Bounded model checking for knowledge and real time. Artif. Intell. 171(16-17): 1011-1038 (2007) - [j13]Alessio Lomuscio, Franco Raimondi, Bozena Wozna:
Verification of the TESLA protocol in MCMAS-X. Fundam. Informaticae 79(3-4): 473-486 (2007) - [j12]Franco Raimondi, Alessio Lomuscio:
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. J. Appl. Log. 5(2): 235-251 (2007) - [j11]Alessio Lomuscio, Wojciech Penczek:
Symbolic model checking for temporal-epistemic logics. SIGACT News 38(3): 77-99 (2007) - [c43]Francesco Belardinelli, Alessio Lomuscio:
A quantified epistemic logic for reasoning about multiagent systems. AAMAS 2007: 87 - [c42]Alessio Lomuscio, Bozena Wozna:
A temporal epistemic logic with a reset operation. AAMAS 2007: 145 - [c41]Francesco Belardinelli, Alessio Lomuscio:
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems. CLIMA 2007: 248-267 - [c40]Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki:
Verifying Temporal and Epistemic Properties of Web Service Compositions. ICSOC 2007: 456-461 - [c39]Alessio Lomuscio, Charles Pecheur, Franco Raimondi:
Automatic Verification of Knowledge and Time with NuSMV. IJCAI 2007: 1384-1389 - [e5]Stefan Edelkamp, Alessio Lomuscio:
Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4428, Springer 2007, ISBN 978-3-540-74127-5 [contents] - [i2]Alessio Lomuscio, Wojciech Penczek:
Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics. CoRR abs/0709.0446 (2007) - 2006
- [j10]Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter:
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol. Fundam. Informaticae 72(1-3): 215-234 (2006) - [c38]Alessio Lomuscio, Bozena Wozna:
A complete and decidable security-specialised logic and its application to the TESLA protocol. AAMAS 2006: 145-152 - [c37]Alessio Lomuscio, Franco Raimondi:
Model checking knowledge, strategies, and games in multi-agent systems. AAMAS 2006: 161-168 - [c36]Wiebe van der Hoek, Alessio Lomuscio, Michael J. Wooldridge:
On the complexity of practical ATL model checking. AAMAS 2006: 201-208 - [c35]Alessio Lomuscio, Franco Raimondi:
The complexity of model checking concurrent programs against CTLK specifications. AAMAS 2006: 548-550 - [c34]Alessio Lomuscio, Franco Raimondi:
The Complexity of Model Checking Concurrent Programs Against CTLK Specifications. DALT 2006: 29-42 - [c33]Alessio Lomuscio, Bozena Wozna:
A Complete and Decidable Axiomatisation for Deontic Interpreted Systems. DEON 2006: 238-254 - [c32]Alessio Lomuscio, Bozena Wozna, Andrzej Zbrzezny:
Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation. MoChArt 2006: 95-112 - [c31]Alessio Lomuscio, Franco Raimondi:
MCMAS: A Model Checker for Multi-agent Systems. TACAS 2006: 450-454 - [e4]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2005, Edinburgh, Scotland, UK, August 1, 2005. Electronic Notes in Theoretical Computer Science 157(4), Elsevier 2006 [contents] - 2005
- [j9]Alessio Lomuscio, Donald Nute:
Editorial. J. Appl. Log. 3(3-4): 369-370 (2005) - [c30]Bozena Wozna, Alessio Lomuscio, Wojciech Penczek:
Bounded model checking for knowledge and real time. AAMAS 2005: 165-172 - [c29]Alessio Lomuscio, Bozena Wozna:
A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results. DALT 2005: 188-204 - [c28]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Preface. LCMAS 2005: 1-2 - 2004
- [j8]Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek:
From Bounded to Unbounded Model Checking for Temporal Epistemic Logic. Fundam. Informaticae 63(2-3): 221-240 (2004) - [j7]Alessio Lomuscio, Marek J. Sergot:
A formalisation of violation, error recovery, and enforcement in the bit transmission problem. J. Appl. Log. 2(1): 93-116 (2004) - [c27]Franco Raimondi, Alessio Lomuscio:
Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation. AAMAS 2004: 630-637 - [c26]Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek:
Verification of Multiagent Systems via Unbounded Model Checking. AAMAS 2004: 638-645 - [c25]Bozena Wozna, Alessio Lomuscio:
A Logic for Knowledge, Correctness, and Real Time. CLIMA 2004: 1-15 - [c24]Franco Raimondi, Alessio Lomuscio:
Automatic Verification of Deontic Properties of Multi-agent Systems. DEON 2004: 228-242 - [c23]Franco Raimondi, Alessio Lomuscio:
Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's. ECAI 2004: 53-57 - [c22]Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter:
Verifying Multi-agent Systems via Unbounded Model Checking. FAABS 2004: 189-212 - [c21]Franco Raimondi, Alessio Lomuscio:
Towards Symbolic Model Checking for Multi-agent Systems via OBDD's. FAABS 2004: 213-221 - [c20]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Preface. LCMAS 2004: 1-2 - [c19]Bozena Wozna, Alessio Lomuscio, Wojciech Penczek:
Bounded Model Checking for Deontic Interpreted Systems. LCMAS 2004: 93-114 - [e3]Alessio Lomuscio, Donald Nute:
Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings. Lecture Notes in Computer Science 3065, Springer 2004, ISBN 3-540-22111-5 [contents] - [e2]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
1st International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, The Netherlands, June 29, 2003. Electronic Notes in Theoretical Computer Science 85(2), Elsevier 2004 [contents] - [e1]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2004, Nancy, France, August 16-20, 2004. Electronic Notes in Theoretical Computer Science 126, Elsevier 2004 [contents] - 2003
- [j6]Wojciech Penczek, Alessio Lomuscio:
Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking. Fundam. Informaticae 55(2): 167-185 (2003) - [j5]Alessio Lomuscio, Marek J. Sergot:
Deontic Interpreted Systems. Stud Logica 75(1): 63-92 (2003) - [c18]Wojciech Penczek, Alessio Lomuscio:
Verifying epistemic properties of multi-agent systems via bounded model checking. AAMAS 2003: 209-216 - [c17]Alessio Lomuscio, Franco Raimondi, Marek J. Sergot:
Towards model checking interpreted systems. AAMAS 2003: 1054-1055 - [c16]Wiebe van der Hoek, Alessio Lomuscio:
Ignore at your peril - towards a logic for ignorance. AAMAS 2003: 1148-1149 - [c15]Guido Governatori, Alessio Lomuscio, Marek J. Sergot:
A Tableaux System for Deontic Interpreted Systems. Australian Conference on Artificial Intelligence 2003: 339-351 - [c14]Wiebe van der Hoek, Alessio Lomuscio:
A logic for ignorance. DALT 2003: 97-108 - [c13]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Preface: Volume 85, Issue 2. LCMAS 2003: 81 - [c12]Wiebe van der Hoek, Alessio Lomuscio:
A Logic For Ignorance. LCMAS 2003: 117-133 - [c11]Franco Raimondi, Alessio Lomuscio:
A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems. LCMAS 2003: 176-191 - 2002
- [c10]Alessio Lomuscio, Marek J. Sergot:
The bit transmission problem revisited. AAMAS 2002: 946-947 - [c9]Alessio Lomuscio, T. Lasica, Wojciech Penczek:
Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results. FAABS 2002: 115-125 - 2001
- [j4]Michael J. Wooldridge, Alessio Lomuscio:
A Computationally Grounded Logic of Visibility, Perception, and Knowledge. Log. J. IGPL 9(2): 257-272 (2001) - [c8]Alessio Lomuscio, Michael J. Wooldridge, Nicholas R. Jennings:
A Classification Scheme for Negotiation in Electronic Commerce. AgentLink 2001: 19-33 - [c7]Alessio Lomuscio, Marek J. Sergot:
On Multi-agent Systems Specification via Deontic Logic. ATAL 2001: 86-99 - 2000
- [j3]Alessio Lomuscio, Ron van der Meyden, Mark Ryan:
Knowledge in multiagent systems: initial configurations and broadcast. ACM Trans. Comput. Log. 1(2): 247-284 (2000) - [c6]Michael J. Wooldridge, Alessio Lomuscio:
Multi-agent VSK Logic. JELIA 2000: 300-312
1990 – 1999
- 1999
- [b1]Alessio Lomuscio:
Knowledge sharing among ideal agents. University of Birmingham, UK, 1999 - [j2]Alessio Lomuscio, Mark Ryan:
An algorithmic approach to knowledge evolution. Artif. Intell. Eng. Des. Anal. Manuf. 13(2): 119-132 (1999) - [c5]Michael J. Wooldridge, Alessio Lomuscio:
Reasoning about Visibility, Perception and Knowledge. ATAL 1999: 1-12 - [c4]Alessio Lomuscio, Mark Ryan:
A Spectrum of Modes of Knowledge Sharing between Agents. ATAL 1999: 13-26 - [i1]Alessio Lomuscio, Ron van der Meyden, Mark Ryan:
Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast. CoRR cs.LO/9909019 (1999) - 1998
- [c3]Alessio Lomuscio, Mark Ryan:
Ideal Agents Sharing (some!) Knowledge. ECAI 1998: 557-561 - 1997
- [j1]Mark d'Inverno, Michael Fisher, Alessio Lomuscio, Michael Luck, Maarten de Rijke, Mark Ryan, Michael J. Wooldridge:
Formalisms for multi-agent systems. Knowl. Eng. Rev. 12(3): 315-321 (1997) - [c2]Alessio Lomuscio, Mark Ryan:
On the Relation between Interpreted Systems and Kripke Models. Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications 1997: 46-59 - 1996
- [c1]Alessio Lomuscio, Marco Colombetti:
QLB: A Quantified Logic for Belief. ATAL 1996: 71-85
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
