Alessio Lomuscio

231 papers A* 52A 59B 11C 7Misc 1Journal 54Unranked 39

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	IoUCert: Robustness Verification for Anchor-based Object Detectors. CoRR Benedikt Brückner, Alejandro J. Mercado, Yanghao Zhang, Panagiotis Kouvaros, Alessio Lomuscio
2025	C	`conf`	A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification. NeSy Vasileios Manginas, Nikolaos Manginas, Edward Stevinson, Sherwin Varghese, Nikos Katzouris, Georgios Paliouras, Alessio Lomuscio
2025	J	`jnl`	A Scalable Approach to Probabilistic Neuro-Symbolic Verification. CoRR Vasileios Manginas, Nikolaos Manginas, Edward Stevinson, Sherwin Varghese, Nikos Katzouris, Georgios Paliouras, Alessio Lomuscio
2025	A*	`conf`	Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification. AAAI Panagiotis Kouvaros, Benedikt Brückner, Patrick Henriksen, Alessio Lomuscio
2025	—	`conf`	Improving Weather-based OOD Generalisation in Lidar-based Object Detection Models via Adversarial Training. CVPR Workshops Ben Batten, Alessio Lomuscio
2025	A	`conf`	LTL Verification of Memoryful Neural Agents. AAMAS Mehran Hosseini, Alessio Lomuscio, Nicola Paoletti
2025	J	`jnl`	LTL Verification of Memoryful Neural Agents. CoRR Mehran Hosseini, Alessio Lomuscio, Nicola Paoletti
2025	A	`conf`	Learning Robust XGBoost Ensembles for Regression Tasks. UAI Atri Vivek Sharma, Panagiotis Kouvaros, Alessio Lomuscio
2025	J	`jnl`	Out-of-Distribution Detection using Counterfactual Distance. CoRR Maria Stoica, Francesco Leofante, Alessio Lomuscio
2025	—	`conf`	Robustness to Perturbations in the Frequency Domain: Neural Network Verification and Certified Training. WACV (Workshops) Harleen Hanspal, Alessandro De Palma, Alessio Lomuscio
2025	A	`conf`	Verifiably Robust Contrastive Learning. ECAI Harleen Hanspal, Alessio Lomuscio
2025	A*	`conf`	Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels. AAAI Benedikt Brückner, Alessio Lomuscio
2024	A*	`conf`	Expressive Losses for Verified Robustness via Convex Combinations. ICLR Alessandro De Palma, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio
2024	—	`conf`	Reducing Return Volatility in Neural Network-Based Asset Allocation via Formal Verification and Certified Training. ICAIF Edward Stevinson, Alessio Lomuscio
2024	A	`conf`	Tight Verification of Probabilistic Robustness in Bayesian Neural Networks. AISTATS Ben Batten, Mehran Hosseini, Alessio Lomuscio
2024	J	`jnl`	Tight Verification of Probabilistic Robustness in Bayesian Neural Networks. CoRR Ben Batten, Mehran Hosseini, Alessio Lomuscio
2024	J	`jnl`	Tightening the Evaluation of PAC Bounds Using Formal Verification Results. CoRR Thomas Walker, Alessio Lomuscio
2024	A	`conf`	Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. ECAI Ben Batten, Yang Zheng, Alessandro De Palma, Panagiotis Kouvaros, Alessio Lomuscio
2024	J	`jnl`	Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. CoRR Ben Batten, Yang Zheng, Alessandro De Palma, Panagiotis Kouvaros, Alessio Lomuscio
2024	J	`jnl`	Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels. CoRR Benedikt Brückner, Alessio Lomuscio
2023	A*	`conf`	A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification. AAAI Jianglin Lan, Benedikt Brückner, Alessio Lomuscio
2023	A	`conf`	Bounded and Unbounded Verification of RNN-Based Agents in Non-deterministic Environments. AAMAS Mehran Hosseini, Alessio Lomuscio
2023	A*	`conf`	Efficient Verification of Neural Networks Against LVM-Based Specifications. CVPR Harleen Hanspal, Alessio Lomuscio
2023	J	`jnl`	Expressive Losses for Verified Robustness via Convex Combinations. CoRR Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio
2023	A*	`conf`	Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification. AAAI Jianglin Lan, Yang Zheng, Alessio Lomuscio
2023	C	`conf`	Robust Explanations for Human-Neural Multi-agent Systems with Formal Verification. EUMAS Francesco Leofante, Alessio Lomuscio
2023	A*	`conf`	Robust Training of Neural Networks against Bias Field Perturbations. AAAI Patrick Henriksen, Alessio Lomuscio
2023	A	`conf`	Towards Robust Contrastive Explanations for Human-Neural Multi-agent Systems. AAMAS Francesco Leofante, Alessio Lomuscio
2023	A*	`conf`	Verification of Semantic Key Point Detection for Aircraft Pose Estimation. KR Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos D. Margineantu, Alessio Lomuscio
2023	B	`conf`	Verification-friendly Networks: the Case for Parametric ReLUs. IJCNN Francesco Leofante, Patrick Henriksen, Alessio Lomuscio
2023	C	`conf`	Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems. NeSy Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
2022	J	`jnl`	A counter abstraction technique for verifying properties of probabilistic swarm systems. Artif. Intell. Alessio Lomuscio, Edoardo Pirovano
2022	J	`jnl`	Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications. J. Artif. Intell. Res. Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, Emily Yu
2022	J	`jnl`	Formal verification of neural agents in non-deterministic environments. Auton. Agents Multi Agent Syst. Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
2022	Misc	`conf`	Repairing misclassifications in neural networks using limited data. SAC Patrick Henriksen, Francesco Leofante, Alessio Lomuscio
2022	A*	`conf`	Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations. AAAI Jianglin Lan, Yang Zheng, Alessio Lomuscio
2021	A	`ed.`	AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021. AAMAS Frank Dignum, Alessio Lomuscio, Ulle Endriss, Ann Nowé
2021	A	`conf`	Bias Field Robustness Verification of Large Neural Image Classifiers. BMVC Patrick Henriksen, Kerstin Hammernik, Daniel Rueckert, Alessio Lomuscio
2021	A*	`conf`	DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis. IJCAI Patrick Henriksen, Alessio Lomuscio
2021	A*	`conf`	Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts. IJCAI Ben Batten, Panagiotis Kouvaros, Alessio Lomuscio, Yang Zheng
2021	B	`conf`	Formal Analysis of Neural Network-Based Systems in the Aircraft Domain. FM Panagiotis Kouvaros, Trent Kyono, Francesco Leofante, Alessio Lomuscio, Dragos D. Margineantu, Denis Osipychev, Yang Zheng
2021	B	`conf`	OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks. SEFM Vahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio
2021	A*	`conf`	Reasoning About Agents That May Know Other Agents' Strategies. IJCAI Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin
2021	A	`conf`	Robustness Learning via Decision Tree Search Robust Optimisation. BMVC Yi-Ling Liu, Alessio Lomuscio
2021	A*	`conf`	Synthesizing Best-effort Strategies under Multiple Environment Specifications. KR Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2021	A*	`conf`	Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching. IJCAI Panagiotis Kouvaros, Alessio Lomuscio
2020	A*	`conf`	Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. AAAI Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener
2020	A	`conf`	Formal Verification of Neural Agents in Non-deterministic Environments. AAMAS Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
2020	B	`conf`	MRobust: A Method for Robustness against Adversarial Attacks on Deep Neural Networks. IJCNN Yi-Ling Liu, Alessio Lomuscio
2020	A*	`conf`	Model Checking Temporal Epistemic Logic under Bounded Recall. AAAI Francesco Belardinelli, Alessio Lomuscio, Emily Yu
2020	A	`conf`	Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems. AAMAS Alessio Lomuscio, Edoardo Pirovano
2020	A*	`conf`	Synthesizing strategies under expected and exceptional environment behaviors. IJCAI Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2020	J	`jnl`	Verification of multi-agent systems with public actions against strategy logic. Artif. Intell. Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2020	A*	`conf`	Verifying Fault-Tolerance in Probabilistic Swarm Systems. IJCAI Alessio Lomuscio, Edoardo Pirovano
2020	A*	`conf`	Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. KR Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
2019	A	`conf`	A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems. AAMAS Alessio Lomuscio, Edoardo Pirovano
2019	A*	`conf`	An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information. AAAI Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone
2019	B	`conf`	An MCTS-based Adversarial Training Method for Image Recognition. IJCNN Yi-Ling Liu, Alessio Lomuscio
2019	A	`conf`	Formal Verification of Open Multi-Agent Systems. AAMAS Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano, Hashan Punchihewa
2019	B	`conf`	Imperfect Information in Alternating-Time Temporal Logic on Finite Traces. PRIMA Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2019	J	`jnl`	Reports of the AAAI 2019 Spring Symposium Series. AI Mag. 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
2019	A*	`conf`	Verification of RNN-Based Neural Agent-Environment Systems. AAAI Michael E. Akintunde, Andreea Kevorchian, Alessio Lomuscio, Edoardo Pirovano
2018	J	`jnl`	22nd International Symposium on Temporal Representation and Reasoning (TIME 2015). Inf. Comput. Fabio Grandi, Martin Lange, Alessio Lomuscio
2018	A*	`conf`	Alternating-time Temporal Logic on Finite Traces. IJCAI Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2018	A*	`conf`	Approximating Perfect Recall When Model Checking Strategic Abilities. KR Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone
2018	A	`conf`	Decidable Verification of Multi-agent Systems with Bounded Private Actions. AAMAS Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2018	J	`jnl`	Formal Verification of CNN-based Perception Systems. CoRR Panagiotis Kouvaros, Alessio Lomuscio
2018	A	`conf`	Model Checking Multi-Agent Systems against LDLK Specifications on Finite Traces. AAMAS Jeremy Kong, Alessio Lomuscio
2018	J	`jnl`	Practical verification of multi-agent systems against Slk specifications. Inf. Comput. Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
2018	A*	`conf`	Reachability Analysis for Neural Agent-Environment Systems. KR Michael Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano
2018	A*	`conf`	Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems. IJCAI Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano
2018	A*	`conf`	Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems. IJCAI Alessio Lomuscio, Edoardo Pirovano
2017	A	`conf`	Agent-based Abstractions for Verifying Alternating-time Temporal Logic with Imperfect Information. AAMAS Francesco Belardinelli, Alessio Lomuscio
2017	J	`jnl`	An approach to reachability analysis for feed-forward ReLU neural networks. CoRR Alessio Lomuscio, Lalit Maganti
2017	J	`jnl`	MCMAS: an open-source model checker for the verification of multi-agent systems. Int. J. Softw. Tools Technol. Transf. Alessio Lomuscio, Hongyang Qu, Franco Raimondi
2017	A*	`conf`	Model Checking Multi-Agent Systems against LDLK Specifications. IJCAI Jeremy Kong, Alessio Lomuscio
2017	A*	`conf`	Parameterised Verification of Data-aware Multi-Agent Systems. IJCAI Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio
2017	A*	`conf`	Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction. AAAI Panagiotis Kouvaros, Alessio Lomuscio
2017	A	`conf`	Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications. AAMAS Jeremy Kong, Alessio Lomuscio
2017	A*	`conf`	Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. IJCAI Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2017	A	`conf`	Verification of Multi-agent Systems with Imperfect Information and Public Actions. AAMAS Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2017	A*	`conf`	Verifying Fault-tolerance in Parameterised Multi-Agent Systems. IJCAI Panagiotis Kouvaros, Alessio Lomuscio
2016	B	`conf`	A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems. JELIA Francesco Belardinelli, Alessio Lomuscio
2016	A	`conf`	Abstraction-Based Verification of Infinite-State Reactive Modules. ECAI Francesco Belardinelli, Alessio Lomuscio
2016	—	`conf`	Advances in Verification of Multi-agent Systems. WADT Alessio Lomuscio
2016	A	`conf`	Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems. ECAI Francesco Belardinelli, Alessio Lomuscio, Jakub Michaliszyn
2016	A	`conf`	Formal Verification of Opinion Formation in Swarms. AAMAS Panagiotis Kouvaros, Alessio Lomuscio
2016	A*	`conf`	Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions. KR Alessio Lomuscio, Jakub Michaliszyn
2016	A	`conf`	Parameterised Model Checking for Alternating-Time Temporal Logic. ECAI Panagiotis Kouvaros, Alessio Lomuscio
2016	J	`jnl`	Parameterised verification for multi-agent systems. Artif. Intell. Panagiotis Kouvaros, Alessio Lomuscio
2016	—	`ed.`	Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016. SR Alessio Lomuscio, Moshe Y. Vardi
2016	A	`conf`	Verification of Multi-Agent Systems via Predicate Abstraction against ATLK Specifications. AAMAS Alessio Lomuscio, Jakub Michaliszyn
2016	A	`conf`	Verifying Security Properties in Unbounded Multiagent Systems. AAMAS Ioana Boureanu, Panagiotis Kouvaros, Alessio Lomuscio
2015	C	`ed.`	22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015 TIME Fabio Grandi, Martin Lange, Alessio Lomuscio
2015	A*	`conf`	A Counter Abstraction Technique for the Verification of Robot Swarms. AAAI Panagiotis Kouvaros, Alessio Lomuscio
2015	A*	`conf`	Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems. IJCAI Francesco Belardinelli, Davide Grossi, Alessio Lomuscio
2015	J	`jnl`	Model Checking Epistemic Halpern-Shoham Logic Extended with Regular Expressions. CoRR Alessio Lomuscio, Jakub Michaliszyn
2015	A	`conf`	Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction. ICSOC Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio
2015	A	`conf`	Verification of Multi-Agent Systems via SDD-based Model Checking. AAMAS Alessio Lomuscio, Hugo Paquet
2015	A*	`conf`	Verifying Emergent Properties of Swarms. IJCAI Panagiotis Kouvaros, Alessio Lomuscio
2015	A	`conf`	Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions. AAMAS Alessio Lomuscio, Jakub Michaliszyn
2015	A*	`conf`	Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications. AAAI Petr Cermák, Alessio Lomuscio, Aniello Murano
2014	A*	`conf`	An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications. KR Alessio Lomuscio, Jakub Michaliszyn
2014	J	`jnl`	Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results. CoRR Francesco Belardinelli, Alessio Lomuscio
2014	A	`ed.`	International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014 AAMAS Ana L. C. Bazzan, Michael N. Huhns, Alessio Lomuscio, Paul Scerri
2014	A*	`conf`	MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. CAV Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
2014	J	`jnl`	MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. CoRR Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
2014	A*	`conf`	Model Checking Unbounded Artifact-Centric Systems. KR Alessio Lomuscio, Jakub Michaliszyn
2014	—	`ed.`	Service-Oriented Computing - ICSOC 2013 Workshops - CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers ICSOC Workshops Alessio Lomuscio, Surya Nepal, Fabio Patrizi, Boualem Benatallah, Ivona Brandic
2014	A*	`conf`	Tutorials. KR Alessio Lomuscio, Lawrence S. Moss, Ekaterina Ovchinnikova, Riccardo Rosati
2014	J	`jnl`	Verification of Agent-Based Artifact Systems. J. Artif. Intell. Res. Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
2013	A*	`conf`	A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments. IJCAI Panagiotis Kouvaros, Alessio Lomuscio
2013	A*	`conf`	An Epistemic Halpern-Shoham Logic. IJCAI Alessio Lomuscio, Jakub Michaliszyn
2013	J	`jnl`	Assume-Guarantee Reasoning with Local Specifications. Int. J. Found. Comput. Sci. Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu
2013	J	`jnl`	Automatic Verification of Parameterised Interleaved Multi-Agent Systems CoRR Panagiotis Kouvaros, Alessio Lomuscio
2013	A	`conf`	Automatic verification of parameterised multi-agent systems. AAMAS Panagiotis Kouvaros, Alessio Lomuscio
2013	A*	`conf`	Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems. IJCAI Francesco Belardinelli, Alessio Lomuscio
2013	—	`conf`	Model Checking Distributed Systems against Temporal-Epistemic Specifications. FMOODS/FORTE Andreas Griesmayer, Alessio Lomuscio
2013	—	`conf`	Model Checking GSM-Based Multi-Agent Systems. ICSOC Workshops Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio
2013	J	`jnl`	VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181). Dagstuhl Reports Alessio Lomuscio, Sophie Pinchinat, Holger Schlingloff
2013	J	`jnl`	Verification of Agent-Based Artifact Systems CoRR Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
2012	A*	`conf`	An Abstraction Technique for the Verification of Artifact-Centric Systems. KR Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
2012	—	`conf`	Automated Verification of Quantum Protocols using MCMAS QAPL Francesco Belardinelli, Pavel Gonzalez, Alessio Lomuscio
2012	A	`conf`	Automatic verification of epistemic specifications under convergent equational theories. AAMAS Ioana Boureanu, Andrew V. Jones, Alessio Lomuscio
2012	A	`conf`	Group synthesis for parametric temporal-epistemic logic. AAMAS Andrew V. Jones, Michal Knapik, Wojciech Penczek, Alessio Lomuscio
2012	J	`jnl`	Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results. J. Artif. Intell. Res. Francesco Belardinelli, Alessio Lomuscio
2012	—	`conf`	Symbolic Model Checking for Temporal-Epistemic Logic. Logic Programs, Norms and Action Alessio Lomuscio, Wojciech Penczek
2012	A*	`conf`	Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments. KR Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio
2012	—	`conf`	The Scientific Contribution of Marek Sergot. Logic Programs, Norms and Action Steve Barker, Andrew J. I. Jones, Antonis C. Kakas, Robert A. Kowalski, Alessio Lomuscio, Rob Miller, Stephen H. Muggleton, Giovanni Sartor
2012	J	`jnl`	Towards verifying contract regulated service composition. Auton. Agents Multi Agent Syst. Alessio Lomuscio, Hongyang Qu, Monika Solanki
2012	A	`conf`	Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction. ICSOC Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
2012	A	`conf`	Verifying GSM-Based Business Artifacts. ICWS Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio
2011	A*	`conf`	A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. IJCAI Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
2011	J	`jnl`	First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. Fundam. Informaticae Francesco Belardinelli, Alessio Lomuscio
2011	J	`jnl`	Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata. Fundam. Informaticae Francesco Belardinelli, Andrew V. Jones, Alessio Lomuscio
2011	J	`jnl`	Runtime Monitoring of Contract Regulated Web Services. Fundam. Informaticae Alessio Lomuscio, Wojciech Penczek, Monika Solanki, Maciej Szreter
2011	A	`conf`	Verification of Deployed Artifact Systems via Data Abstraction. ICSOC Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
2011	A*	`conf`	Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle. IJCAI Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor M. Veres
2010	C	`conf`	A Methodology for Automatic Diagnosability Analysis. ICFEM Jonathan Ezekiel, Alessio Lomuscio
2010	C	`conf`	Assume-Guarantee Reasoning with Local Specifications. ICFEM Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu
2010	—	`conf`	Automatic Data-Abstraction in Model Checking Multi-Agent Systems. MoChArt Alessio Lomuscio, Hongyang Qu, Francesco Russo
2010	A	`conf`	Distributed BDD-based BMC for the verification of multi-agent systems. AAMAS Andrew V. Jones, Alessio Lomuscio
2010	A*	`conf`	Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems. KR Francesco Belardinelli, Alessio Lomuscio
2010	J	`jnl`	Model Checking Optimisation Based Congestion Control Algorithms. Fundam. Informaticae Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu
2010	A	`conf`	Model checking detectability of attacks in multiagent systems. AAMAS Ioana Boureanu, Mika Cohen, Alessio Lomuscio
2010	A	`conf`	Non-elementary speed up for model checking synchronous perfect recall. ECAI Mika Cohen, Alessio Lomuscio
2010	A	`conf`	Parallel Model Checking for Temporal Epistemic Logic. ECAI Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu
2010	J	`jnl`	Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems. Fundam. Informaticae Alessio Lomuscio, Wojciech Penczek, Hongyang Qu
2010	A	`conf`	Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems. AAMAS Alessio Lomuscio, Wojciech Penczek, Hongyang Qu
2010	A	`conf`	Runtime monitoring of contract regulated web services. AAMAS Alessio Lomuscio, Monika Solanki, Wojciech Penczek, Maciej Szreter
2009	B	`conf`	A Data Symmetry Reduction Technique for Temporal-epistemic Logic. ATVA Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu
2009	A*	`conf`	A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. IJCAI Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu
2009	—	`conf`	Abstraction in model checking multi-agent systems. AAMAS (2) Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo
2009	B	`conf`	An Automated Approach to Verifying Diagnosability in Multi-agent Systems. SEFM Jonathan Ezekiel, Alessio Lomuscio
2009	J	`jnl`	Automatic verification of temporal-epistemic properties of cryptographic protocols. J. Appl. Non Class. Logics Ioana Boureanu, Mika Cohen, Alessio Lomuscio
2009	—	`conf`	Combining fault injection and model checking to verify fault tolerance in multi-agent systems. AAMAS (1) Jonathan Ezekiel, Alessio Lomuscio
2009	C	`conf`	First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. WoLLIC Francesco Belardinelli, Alessio Lomuscio
2009	A*	`conf`	MCMAS: A Model Checker for the Verification of Multi-Agent Systems. CAV Alessio Lomuscio, Hongyang Qu, Franco Raimondi
2009	—	`conf`	Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach. AINA Workshops Alessio Lomuscio, Monika Solanki
2009	J	`jnl`	Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Artif. Intell. Francesco Belardinelli, Alessio Lomuscio
2009	B	`conf`	Towards an Agent Based Approach for Verification of OWL-S Process Models. ESWC Alessio Lomuscio, Monika Solanki
2008	A*	`conf`	A Complete First-Order Logic of Knowledge and Time. KR Francesco Belardinelli, Alessio Lomuscio
2008	J	`jnl`	LDYIS: a Framework for Model Checking Security Protocols. Fundam. Informaticae Alessio Lomuscio, Wojciech Penczek
2008	—	`conf`	Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. MoChArt Alessio Lomuscio, Wojciech Penczek, Hongyang Qu
2008	A	`conf`	Towards Verifying Contract Regulated Service Composition. ICWS Alessio Lomuscio, Hongyang Qu, Monika Solanki
2008	—	`conf`	Towards verifying compliance in agent-based web service compositions. AAMAS (1) Alessio Lomuscio, Hongyang Qu, Monika Solanki
2007	—	`conf`	A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems. CLIMA Francesco Belardinelli, Alessio Lomuscio
2007	A	`conf`	A quantified epistemic logic for reasoning about multiagent systems. AAMAS Francesco Belardinelli, Alessio Lomuscio
2007	A	`conf`	A temporal epistemic logic with a reset operation. AAMAS Alessio Lomuscio, Bozena Wozna
2007	A*	`conf`	Automatic Verification of Knowledge and Time with NuSMV. IJCAI Alessio Lomuscio, Charles Pecheur, Franco Raimondi
2007	J	`jnl`	Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. J. Appl. Log. Franco Raimondi, Alessio Lomuscio
2007	J	`jnl`	Bounded model checking for knowledge and real time. Artif. Intell. Alessio Lomuscio, Wojciech Penczek, Bozena Wozna
2007	J	`jnl`	Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics CoRR Alessio Lomuscio, Wojciech Penczek
2007	—	`ed.`	Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers MoChArt Stefan Edelkamp, Alessio Lomuscio
2007	J	`jnl`	Symbolic model checking for temporal-epistemic logics. SIGACT News Alessio Lomuscio, Wojciech Penczek
2007	J	`jnl`	Verification of the TESLA protocol in MCMAS-X. Fundam. Informaticae Alessio Lomuscio, Franco Raimondi, Bozena Wozna
2007	A	`conf`	Verifying Temporal and Epistemic Properties of Web Service Compositions. ICSOC Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki
2006	—	`conf`	A Complete and Decidable Axiomatisation for Deontic Interpreted Systems. DEON Alessio Lomuscio, Bozena Wozna
2006	A	`conf`	A complete and decidable security-specialised logic and its application to the TESLA protocol. AAMAS Alessio Lomuscio, Bozena Wozna
2006	—	`conf`	Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation. MoChArt Alessio Lomuscio, Bozena Wozna, Andrzej Zbrzezny
2006	J	`jnl`	Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol. Fundam. Informaticae Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter
2006	A	`conf`	MCMAS: A Model Checker for Multi-agent Systems. TACAS Alessio Lomuscio, Franco Raimondi
2006	A	`conf`	Model checking knowledge, strategies, and games in multi-agent systems. AAMAS Alessio Lomuscio, Franco Raimondi
2006	A	`conf`	On the complexity of practical ATL model checking. AAMAS Wiebe van der Hoek, Alessio Lomuscio, Michael J. Wooldridge
2006	—	`ed.`	Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2005, Edinburgh, Scotland, UK, August 1, 2005 LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2006	—	`conf`	The Complexity of Model Checking Concurrent Programs Against CTLK Specifications. DALT Alessio Lomuscio, Franco Raimondi
2006	A	`conf`	The complexity of model checking concurrent programs against CTLK specifications. AAMAS Alessio Lomuscio, Franco Raimondi
2005	—	`conf`	A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results. DALT Alessio Lomuscio, Bozena Wozna
2005	A	`conf`	Bounded model checking for knowledge and real time. AAMAS Bozena Wozna, Alessio Lomuscio, Wojciech Penczek
2005	J	`jnl`	Editorial. J. Appl. Log. Alessio Lomuscio, Donald Nute
2005	—	`conf`	Preface. LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2004	—	`ed.`	1st International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, The Netherlands, June 29, 2003 LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2004	—	`conf`	A Logic for Knowledge, Correctness, and Real Time. CLIMA Bozena Wozna, Alessio Lomuscio
2004	J	`jnl`	A formalisation of violation, error recovery, and enforcement in the bit transmission problem. J. Appl. Log. Alessio Lomuscio, Marek J. Sergot
2004	A	`conf`	Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's. ECAI Franco Raimondi, Alessio Lomuscio
2004	—	`conf`	Automatic Verification of Deontic Properties of Multi-agent Systems. DEON Franco Raimondi, Alessio Lomuscio
2004	—	`conf`	Bounded Model Checking for Deontic Interpreted Systems. LCMAS Bozena Wozna, Alessio Lomuscio, Wojciech Penczek
2004	—	`ed.`	Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings DEON Alessio Lomuscio, Donald Nute
2004	J	`jnl`	From Bounded to Unbounded Model Checking for Temporal Epistemic Logic. Fundam. Informaticae Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek
2004	—	`conf`	Preface. LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2004	—	`ed.`	Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2004, Nancy, France, August 16-20, 2004 LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2004	—	`conf`	Towards Symbolic Model Checking for Multi-agent Systems via OBDD's. FAABS Franco Raimondi, Alessio Lomuscio
2004	A	`conf`	Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation. AAMAS Franco Raimondi, Alessio Lomuscio
2004	A	`conf`	Verification of Multiagent Systems via Unbounded Model Checking. AAMAS Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek
2004	—	`conf`	Verifying Multi-agent Systems via Unbounded Model Checking. FAABS Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter
2003	—	`conf`	A Logic For Ignorance. LCMAS Wiebe van der Hoek, Alessio Lomuscio
2003	—	`conf`	A Tableaux System for Deontic Interpreted Systems. Australian Conference on Artificial Intelligence Guido Governatori, Alessio Lomuscio, Marek J. Sergot
2003	—	`conf`	A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems. LCMAS Franco Raimondi, Alessio Lomuscio
2003	—	`conf`	A logic for ignorance. DALT Wiebe van der Hoek, Alessio Lomuscio
2003	J	`jnl`	Deontic Interpreted Systems. Stud Logica Alessio Lomuscio, Marek J. Sergot
2003	A	`conf`	Ignore at your peril - towards a logic for ignorance. AAMAS Wiebe van der Hoek, Alessio Lomuscio
2003	—	`conf`	Preface: Volume 85, Issue 2. LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2003	A	`conf`	Towards model checking interpreted systems. AAMAS Alessio Lomuscio, Franco Raimondi, Marek J. Sergot
2003	J	`jnl`	Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking. Fundam. Informaticae Wojciech Penczek, Alessio Lomuscio
2003	A	`conf`	Verifying epistemic properties of multi-agent systems via bounded model checking. AAMAS Wojciech Penczek, Alessio Lomuscio
2002	—	`conf`	Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results. FAABS Alessio Lomuscio, T. Lasica, Wojciech Penczek
2002	A	`conf`	The bit transmission problem revisited. AAMAS Alessio Lomuscio, Marek J. Sergot
2001	—	`conf`	A Classification Scheme for Negotiation in Electronic Commerce. AgentLink Alessio Lomuscio, Michael J. Wooldridge, Nicholas R. Jennings
2001	J	`jnl`	A Computationally Grounded Logic of Visibility, Perception, and Knowledge. Log. J. IGPL Michael J. Wooldridge, Alessio Lomuscio
2001	—	`conf`	On Multi-agent Systems Specification via Deontic Logic. ATAL Alessio Lomuscio, Marek J. Sergot
2000	J	`jnl`	Knowledge in multiagent systems: initial configurations and broadcast. ACM Trans. Comput. Log. Alessio Lomuscio, Ron van der Meyden, Mark Ryan
2000	B	`conf`	Multi-agent VSK Logic. JELIA Michael J. Wooldridge, Alessio Lomuscio
1999	—	`conf`	A Spectrum of Modes of Knowledge Sharing between Agents. ATAL Alessio Lomuscio, Mark Ryan
1999	J	`jnl`	An algorithmic approach to knowledge evolution. Artif. Intell. Eng. Des. Anal. Manuf. Alessio Lomuscio, Mark Ryan
1999	J	`jnl`	Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast CoRR Alessio Lomuscio, Ron van der Meyden, Mark Ryan
1999	—	`—`	Knowledge sharing among ideal agents. Alessio Lomuscio
1999	—	`conf`	Reasoning about Visibility, Perception and Knowledge. ATAL Michael J. Wooldridge, Alessio Lomuscio
1998	A	`conf`	Ideal Agents Sharing (some!) Knowledge. ECAI Alessio Lomuscio, Mark Ryan
1997	J	`jnl`	Formalisms for multi-agent systems. Knowl. Eng. Rev. Mark d'Inverno, Michael Fisher, Alessio Lomuscio, Michael Luck, Maarten de Rijke, Mark Ryan, Michael J. Wooldridge
1997	—	`conf`	On the Relation between Interpreted Systems and Kripke Models. Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications Alessio Lomuscio, Mark Ryan
1996	—	`conf`	QLB: A Quantified Logic for Belief. ATAL Alessio Lomuscio, Marco Colombetti