Alessio Lomuscio

发表

Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications

Jeremy Kong, Alessio Lomuscio, A. Lomuscio, 2017, AAMAS.

Combining fault injection and model checking to verify fault tolerance in multi-agent systems

Alessio Lomuscio, Jonathan Ezekiel, A. Lomuscio, 2009, AAMAS.

Verification of multiagent systems via unbounded model checking

Wojciech Penczek, Alessio Lomuscio, Magdalena Kacprzak, 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

Formal Verification of CNN-based Perception Systems pdf

Alessio Lomuscio, Panagiotis Kouvaros, A. Lomuscio, 2018, ArXiv.

Automatic Verification of Knowledge and Time with NuSMV

Alessio Lomuscio, Charles Pecheur, Franco Raimondi, 2007, IJCAI.

Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems

Alessio Lomuscio, Edoardo Pirovano, 2018, IJCAI.

MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications pdf

Alessio Lomuscio, Aniello Murano, Fabio Mogavero, 2014, CAV.

A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results

Alessio Lomuscio, Bozena Wozna, A. Lomuscio, 2005, DALT.

On Multi-agent Systems Specification via Deontic Logic

Alessio Lomuscio, Marek J. Sergot, M. Sergot, 2001, ATAL.

Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments

Giuseppe De Giacomo, Alessio Lomuscio, Paolo Felli, 2012, KR.

Proceedings of LCMAS04 (International Workshop on Logic in Multi-Agent Systems)

Alessio Lomuscio, Wiebe van der Hoek, E.d. Vink, 2005 .

A Classification Scheme for Negotiation in Electronic Commerce

Michael Wooldridge, Nicholas R. Jennings, Alessio Lomuscio, 2001 .

Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle

Alessio Lomuscio, Jonathan Ezekiel, Sandor M. Veres, 2011, IJCAI.

Automatic Verification of Parameterised Interleaved Multi-Agent Systems pdf

Alessio Lomuscio, Panagiotis Kouvaros, A. Lomuscio, 2013, ArXiv.

Runtime monitoring of contract regulated web services (Extended Abstract)

Wojciech Penczek, Alessio Lomuscio, Maciej Szreter, 2010 .

Bounded Model Checking for Deontic Interpreted Systems

Wojciech Penczek, Alessio Lomuscio, Bozena Wozna, 2005, LCMAS.

Automatic verification of temporal-epistemic properties of cryptographic protocols

Alessio Lomuscio, Ioana Boureanu, Mika Cohen, 2009, J. Appl. Non Class. Logics.

22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015

Alessio Lomuscio, Martin Lange, Fabio Grandi, 2015, TIME.

Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction

Alessio Lomuscio, Pavel Gonzalez, Andreas Griesmayer, 2015, ICSOC.

Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems

Wojciech Penczek, Alessio Lomuscio, Hongyang Qu, 2010, AAMAS.

Practical verification of multi-agent systems against Slk specifications

Alessio Lomuscio, Aniello Murano, Fabio Mogavero, 2017, Inf. Comput..

Advances in Verification of Multi-agent Systems

Alessio Lomuscio, 2016, WADT.

Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams

Alessio Lomuscio, Franco Raimondi, A. Lomuscio, 2007, J. Appl. Log..

A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results

Alessio Lomuscio, Fabio Patrizi, Francesco Belardinelli, 2011, IJCAI.

On the Relation between Interpreted Systems and Kripke Models

Mark Ryan, Alessio Lomuscio, M. Ryan, 1997, Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications.

Verifying GSM-Based Business Artifacts

Alessio Lomuscio, Pavel Gonzalez, Andreas Griesmayer, 2012, 2012 IEEE 19th International Conference on Web Services.

An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information

Alessio Lomuscio, Francesco Belardinelli, Vadim Malvone, 2019, AAAI.

Towards verifying compliance in agent-based web service compositions

Alessio Lomuscio, Hongyang Qu, Monika Solanki, 2008, AAMAS.

Proceedings of the 4th International Workshop on Strategic Reasoning: Preface

Alessio Lomuscio, Moshe Y. Vardi, 2016 .

A Classification Scheme for Negotiation in Electronic Commerce

Nicholas R. Jennings, Michael Wooldridge, Alessio Lomuscio, 2001, AgentLink.

Runtime Monitoring of Contract Regulated Web Services

Wojciech Penczek, Alessio Lomuscio, Maciej Szreter, 2011, Fundam. Informaticae.

Verification of RNN-Based Neural Agent-Environment Systems

Alessio Lomuscio, Edoardo Pirovano, Michael E. Akintunde, 2019, AAAI.

Decidability of model checking multi-agent systems against a class of EHS specifications

Alessio Lomuscio, Jakub Michaliszyn, 2014, ECAI.

A logic for ignorance

Alessio Lomuscio, Wiebe van der Hoek, 2003, DALT.

Verifying Temporal and Epistemic Properties of Web Service Compositions

Alessio Lomuscio, Marek J. Sergot, Hongyang Qu, 2007, ICSOC.

A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems

Alessio Lomuscio, Franco Raimondi, A. Lomuscio, 2004, LCMAS.

Assume-Guarantee Verification for Distributed Systems with Local Specifications

Alessio Lomuscio, Peng Wu, Ben Strulo, 2010 .

4th International Workshop on Strategic Reasoning (SR 2016)

Alessio Lomuscio, Moshe Y. Vardi, 2018, Inf. Comput..

Knowledge sharing among ideal agents

Alessio Lomuscio, A. Lomuscio, 1999 .

First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment

Alessio Lomuscio, Francesco Belardinelli, F. Belardinelli, 2009, Fundam. Informaticae.

MCMAS: A Model Checker for Multi-agent Systems

Alessio Lomuscio, Franco Raimondi, A. Lomuscio, 2006, TACAS.

Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation

Alessio Lomuscio, Andrzej Zbrzezny, Bozena Wozna, 2007, MoChArt.

Automatic verification of epistemic specifications under convergent equational theories

Alessio Lomuscio, Ioana Boureanu, Andrew V. Jones, 2012, AAMAS.

The complexity of model checking concurrent programs against CTLK specifications

Alessio Lomuscio, Franco Raimondi, A. Lomuscio, 2006, AAMAS '06.

Formal Verification of Open Multi-Agent Systems

Alessio Lomuscio, Panagiotis Kouvaros, Edoardo Pirovano, 2019, AAMAS.

Information sharing among ideal agents

Alessio Lomuscio, 1999 .

LDYIS: a Framework for Model Checking Security Protocols

Wojciech Penczek, Alessio Lomuscio, 2008, Fundam. Informaticae.

Formal Verification of the Autosub Autonomous Underwater Vehicle: a Case Study

Alessio Lomuscio, Jonathan Ezekiel, Sandor M. Veres, 2010 .

A complete and decidable security-specialised logic and its application to the TESLA protocol

Alessio Lomuscio, Bozena Wozna, 2006, AAMAS '06.

Model Checking Unbounded Artifact-Centric Systems

Alessio Lomuscio, Jakub Michaliszyn, 2014, KR.

A Tableaux System for Deontic Interpreted Systems

Guido Governatori, Alessio Lomuscio, Marek J. Sergot, 2003, Australian Conference on Artificial Intelligence.

MCMAS: A Model Checker for the Verification of Multi-Agent Systems

Alessio Lomuscio, Hongyang Qu, Franco Raimondi, 2009, CAV.

Verification of Multi-agent Systems with Imperfect Information and Public Actions

Alessio Lomuscio, Aniello Murano, Sasha Rubin, 2017, AAMAS.

Model Checking Optimisation Based Congestion Control Algorithms

Alessio Lomuscio, Peng Wu, Ben Strulo, 2010, Fundam. Informaticae.

Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's

Alessio Lomuscio, Franco Raimondi, A. Lomuscio, 2004, ECAI.

A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments

Alessio Lomuscio, Panagiotis Kouvaros, 2013, IJCAI.

Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems

Alessio Lomuscio, Ana L. C. Bazzan, Michael N. Huhns, 2014, AAMAS 2014.

On the complexity of practical ATL model checking

Michael Wooldridge, Alessio Lomuscio, Wiebe van der Hoek, 2006, AAMAS '06.

An Abstraction Technique for the Verification of Artifact-Centric Systems

Alessio Lomuscio, Fabio Patrizi, Francesco Belardinelli, 2012, KR.

Symbolic model checking for temporal-epistemic logics

Wojciech Penczek, Alessio Lomuscio, W. Penczek, 2007, SIGA.

Knowledge in multiagent systems: initial configurations and broadcast

Mark Ryan, Alessio Lomuscio, Ron van der Meyden, 1999, TOCL.

Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems

Wojciech Penczek, Alessio Lomuscio, Hongyang Qu, 2010, Fundam. Informaticae.

ACSI - Artifact-Centric Service Interoperation

Marco Montali, Giuseppe De Giacomo, Dirk Fahland, 2013 .

Model Checking Optimisation-Based Congestion Control Models

Alessio Lomuscio, Peng Wu, Ben Strulo, 2009 .

Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction

Alessio Lomuscio, Fabio Patrizi, Francesco Belardinelli, 2012, ICSOC.

Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems

Alessio Lomuscio, Panagiotis Kouvaros, Edoardo Pirovano, 2018, IJCAI.

Decidable Verification of Multi-agent Systems with Bounded Private Actions

Alessio Lomuscio, Aniello Murano, Sasha Rubin, 2018, AAMAS.

Verifying Fault-tolerance in Parameterised Multi-Agent Systems

Alessio Lomuscio, Panagiotis Kouvaros, A. Lomuscio, 2017, IJCAI.

A Data Symmetry Reduction Technique for Temporal-epistemic Logic

Alessio Lomuscio, Hongyang Qu, Mads Dam, 2009, ATVA.

A temporal epistemic logic with a reset operation

Alessio Lomuscio, Bozena Wozna, 2007, AAMAS '07.

Quantified epistemic logics for reasoning about knowledge in multi-agent systems

Alessio Lomuscio, Francesco Belardinelli, F. Belardinelli, 2009, Artif. Intell..

Assume-Guarantee Reasoning with Local Specifications

Alessio Lomuscio, Peng Wu, Ben Strulo, 2013, Int. J. Found. Comput. Sci..

An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications

Alessio Lomuscio, Jakub Michaliszyn, A. Lomuscio, 2014, KR.

Assume-Guarantee Reasoning with Local Specifications

Alessio Lomuscio, Peng Wu, Ben Strulo, 2010, Int. J. Found. Comput. Sci..

A formalisation of violation, error recovery, and enforcement in the bit transmission problem

Alessio Lomuscio, Marek J. Sergot, M. Sergot, 2004, Journal of Applied Logic.

Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions

Alessio Lomuscio, Jakub Michaliszyn, A. Lomuscio, 2016, KR.

Automated Verification of Quantum Protocols using MCMAS

Alessio Lomuscio, Francesco Belardinelli, Pavel Gonzalez, 2012, QAPL.

Reasoning about Visibility, Perception and Knowledge

Michael Wooldridge, Alessio Lomuscio, M. Wooldridge, 1999, ATAL.

Verifying epistemic properties of multi-agent systems via bounded model checking

Wojciech Penczek, Alessio Lomuscio, W. Penczek, 2002, AAMAS '03.

Automatic Verification of Deontic Properties of Multi-agent Systems

Alessio Lomuscio, Franco Raimondi, A. Lomuscio, 2004, DEON.

Reachability Analysis for Neural Agent-Environment Systems

Alessio Lomuscio, Edoardo Pirovano, Michael E. Akintunde, 2018, KR.

Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction

Alessio Lomuscio, Panagiotis Kouvaros, A. Lomuscio, 2017, AAAI.

An approach to reachability analysis for feed-forward ReLU neural networks pdf

Alessio Lomuscio, Lalit Maganti, A. Lomuscio, 2017, ArXiv.

Group synthesis for parametric temporal-epistemic logic

Michal Knapik, Wojciech Penczek, Alessio Lomuscio, 2012, AAMAS.

Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results pdf

Alessio Lomuscio, Francesco Belardinelli, F. Belardinelli, 2012, J. Artif. Intell. Res..

A Logic For Ignorance

Alessio Lomuscio, Wiebe van der Hoek, W. Hoek, 2004, LCMAS.

The bit transmission problem revisited

Alessio Lomuscio, Marek J. Sergot, M. Sergot, 2002, AAMAS '02.

Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results

Wojciech Penczek, Alessio Lomuscio, T. Lasica, 2002, FAABS.

Parameterised Model Checking for Alternating-Time Temporal Logic

Alessio Lomuscio, Panagiotis Kouvaros, 2016, ECAI.

Automatic Verification of Temporal Epistemic Logic under Convergent Equational Theories

Alessio Lomuscio, Ioana Boureanu, Andrew J. I. Jones, 2012, AAMAS 2012.

Abstraction-Based Verification of Infinite-State Reactive Modules

Alessio Lomuscio, Francesco Belardinelli, 2016, ECAI.

Compositional neural-network modeling of complex analog circuits

Radu Grosu, Alessio Lomuscio, Christian F. Baumgartner, 2017, 2017 International Joint Conference on Neural Networks (IJCNN).

Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems

Alessio Lomuscio, Francesco Belardinelli, 2013, IJCAI.

Non-elementary speed up for model checking synchronous perfect recall

Alessio Lomuscio, Mika Cohen, 2010, ECAI.

Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic

Wojciech Penczek, Alessio Lomuscio, Hongyang Qu, 2009, MoChArt.

Quantitative Policies over Streaming Data

Rajeev Alur, Alessio Lomuscio, Moshe Y. Vardi, 2016 .

Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics pdf

Wojciech Penczek, Alessio Lomuscio, W. Penczek, 2007, ArXiv.

Towards Verifying Contract Regulated Service Composition

Alessio Lomuscio, Hongyang Qu, Monika Solanki, 2008, ICWS.

Verification of Multi-Agent Systems via SDD-based Model Checking

Alessio Lomuscio, Hugo Paquet, A. Lomuscio, 2015, AAMAS.

The complexity of symbolic model checking temporal-epistemic logics

Alessio Lomuscio, Franco Raimondi, A. Lomuscio, 2005 .

Model checking knowledge, strategies, and games in multi-agent systems

Alessio Lomuscio, Franco Raimondi, A. Lomuscio, 2006, AAMAS '06.

Towards Symbolic Model Checking for Multi-agent Systems via OBDD's

Alessio Lomuscio, Franco Raimondi, A. Lomuscio, 2004, FAABS.

Applications of model checking for multi-agent systems: verification of diagnosability and recoverability

Alessio Lomuscio, Charles Pecheur, Franco Raimondi, 2005 .

Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic

Alessio Lomuscio, Aniello Murano, Sasha Rubin, 2017, IJCAI.

A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems

Alessio Lomuscio, Francesco Belardinelli, F. Belardinelli, 2016, JELIA.

Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach

Alessio Lomuscio, Monika Solanki, M. Solanki, 2009, 2009 International Conference on Advanced Information Networking and Applications Workshops.

Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems

Alessio Lomuscio, Jakub Michaliszyn, Francesco Belardinelli, 2016, ECAI.

Approximating Perfect Recall When Model Checking Strategic Abilities

Alessio Lomuscio, Francesco Belardinelli, Vadim Malvone, 2018, KR.

Parameterised Verification of Data-aware Multi-Agent Systems

Alessio Lomuscio, Panagiotis Kouvaros, Francesco Belardinelli, 2017, IJCAI.

Verifying Emergent Properties of Swarms

Alessio Lomuscio, Panagiotis Kouvaros, A. Lomuscio, 2015, IJCAI.

Model Checking Distributed Systems against Temporal-Epistemic Specifications

Alessio Lomuscio, Andreas Griesmayer, 2013, FMOODS/FORTE.

From Bounded to Unbounded Model Checking for Temporal Epistemic Logic

Wojciech Penczek, Alessio Lomuscio, Magdalena Kacprzak, 2004, Fundam. Informaticae.

Model Checking Multi-Agent Systems against LDLK Specifications

Jeremy Kong, Alessio Lomuscio, A. Lomuscio, 2017, IJCAI.

An Epistemic Halpern-Shoham Logic

Alessio Lomuscio, Jakub Michaliszyn, 2013, IJCAI.

Multi-agent \mathcal{V}\mathcal{S}\mathcal{K} Logic

Michael Wooldridge, Alessio Lomuscio, M. Wooldridge, 2000 .

Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol

Wojciech Penczek, Alessio Lomuscio, Magdalena Kacprzak, 2006, Fundam. Informaticae.

Runtime Monitoring of Contract Regulated Web Services

Wojciech Penczek, Alessio Lomuscio, Maciej Szreter, 2010, Fundam. Informaticae.

Compilation Method for the Verification of Temporal-Epistemic Properties of Cryptographic Protocols

Alessio Lomuscio, Ioana Boureanu, Mika Cohen, 2009 .

A Logic for Knowledge, Correctness, and Real Time

Alessio Lomuscio, Bozena Wozna, A. Lomuscio, 2004, CLIMA.

Towards an Agent Based Approach for Verification of OWL-S Process Models

Alessio Lomuscio, Monika Solanki, 2009, ESWC.

A Spectrum of Modes of Knowledge Sharing between Agents

Mark Ryan, Alessio Lomuscio, M. Ryan, 1999, ATAL.

MCMAS: an open-source model checker for the verification of multi-agent systems

Alessio Lomuscio, Hongyang Qu, Franco Raimondi, 2017, International Journal on Software Tools for Technology Transfer.

Verification of Deployed Artifact Systems via Data Abstraction

Alessio Lomuscio, Fabio Patrizi, Francesco Belardinelli, 2011, ICSOC.

A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems

Alessio Lomuscio, Edoardo Pirovano, A. Lomuscio, 2019, AAMAS.

Advances in Symbolic Model Checking for Multi-agent Systems

Alessio Lomuscio, 2014, 2014 21st International Symposium on Temporal Representation and Reasoning.

A Computationally Grounded Logic of Visibility, Perception, and Knowledge

Michael Wooldridge, Alessio Lomuscio, M. Wooldridge, 2001, Log. J. IGPL.

Bounded Model Checking for knowledge over real time

Wojciech Penczek, Alessio Lomuscio, Bozena Wozna, 2004 .

Verification of Agent-Based Artifact Systems

Alessio Lomuscio, Fabio Patrizi, Francesco Belardinelli, 2013, J. Artif. Intell. Res..

A Complete First-Order Logic of Knowledge and Time

Alessio Lomuscio, Francesco Belardinelli, F. Belardinelli, 2008, KR.

The Complexity of Model Checking Concurrent Programs Against CTLK Specifications

Alessio Lomuscio, Franco Raimondi, 2006, DALT.

Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata

Alessio Lomuscio, Francesco Belardinelli, Andrew V. Jones, 2011, Fundam. Informaticae.

Proceedings of the 4th International Workshop on Strategic Reasoning

Alessio Lomuscio, Moshe Y. Vardi, 2016 .

QLB: A Quantified Logic for Belief

Marco Colombetti, Alessio Lomuscio, M. Colombetti, 1996, ATAL.

The Scientific Contribution of Marek Sergot

Stephen Muggleton, Alessio Lomuscio, Antonis C. Kakas, 2012, Logic Programs, Norms and Action.

A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems

Alessio Lomuscio, Francesco Belardinelli, F. Belardinelli, 2008, CLIMA.

A Counter Abstraction Technique for the Verification of Robot Swarms

Alessio Lomuscio, Panagiotis Kouvaros, A. Lomuscio, 2015, AAAI.

Multi-agent VSK Logic

Michael Wooldridge, Alessio Lomuscio, M. Wooldridge, 2000, JELIA.

Ideal Agents Sharing (some!) Knowledge

Mark Ryan, Alessio Lomuscio, M. Ryan, 1998, ECAI.

An Automated Approach to Verifying Diagnosability in Multi-agent Systems

Alessio Lomuscio, Jonathan Ezekiel, 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.

Parallel Model Checking for Temporal Epistemic Logic

Alessio Lomuscio, Hongyang Qu, Marta Z. Kwiatkowska, 2010, ECAI.

A Methodology for Automatic Diagnosability Analysis

Alessio Lomuscio, Jonathan Ezekiel, A. Lomuscio, 2010, ICFEM.

Deontic Interpreted Systems

Alessio Lomuscio, Marek J. Sergot, M. Sergot, 2003, Stud Logica.

Bounded model checking for knowledge and real time

Wojciech Penczek, Alessio Lomuscio, Bozena Wozna, 2005, AAMAS '05.

Agent-based Abstractions for Verifying Alternating-time Temporal Logic with Imperfect Information

Alessio Lomuscio, Francesco Belardinelli, F. Belardinelli, 2017, AAMAS.

Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems

Alessio Lomuscio, Francesco Belardinelli, F. Belardinelli, 2010, KR.

Alternating-time Temporal Logic on Finite Traces

Alessio Lomuscio, Aniello Murano, Sasha Rubin, 2018, IJCAI.

Automatic Data-Abstraction in Model Checking Multi-Agent Systems

Alessio Lomuscio, Hongyang Qu, Francesco Russo, 2010, MoChArt.

Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings

Alessio Lomuscio, Donald Nute, 2004 .

Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems

Alessio Lomuscio, Davide Grossi, Francesco Belardinelli, 2015, IJCAI.

Bounded model checking for knowledge and real time

Wojciech Penczek, Alessio Lomuscio, Bozena Wozna, 2007, Artif. Intell..

Model Checking Epistemic Halpern-Shoham Logic Extended with Regular Expressions pdf

Alessio Lomuscio, Jakub Michaliszyn, A. Lomuscio, 2015, ArXiv.

Ignore at your peril - towards a logic for ignorance

Alessio Lomuscio, Wiebe van der Hoek, W. Hoek, 2003, AAMAS '03.

Verification of Multi-Agent Systems via Predicate Abstraction against ATLK Specifications

Alessio Lomuscio, Jakub Michaliszyn, A. Lomuscio, 2016, AAMAS.

Automatic verification of parameterised multi-agent systems

Alessio Lomuscio, Panagiotis Kouvaros, 2013, AAMAS.

Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions

Alessio Lomuscio, Jakub Michaliszyn, A. Lomuscio, 2015, AAMAS.

Towards verifying contract regulated service composition

Alessio Lomuscio, Hongyang Qu, Monika Solanki, 2008, 2008 IEEE International Conference on Web Services.

Service-Oriented Computing – ICSOC 2013 Workshops

Alessio Lomuscio, Boualem Benatallah, Surya Nepal, 2013, Lecture Notes in Computer Science.

First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment

Alessio Lomuscio, Francesco Belardinelli, 2011, Fundam. Informaticae.

Verification of the TESLA protocol in MCMAS-X

Alessio Lomuscio, Franco Raimondi, Bozena Wozna, 2007, Fundam. Informaticae.

A Complete and Decidable Axiomatisation for Deontic Interpreted Systems

Alessio Lomuscio, Bozena Wozna, A. Lomuscio, 2006, DEON.

Deontic Logic in Computer Science

Alessio Lomuscio, Donald Nute, 2004, Lecture Notes in Computer Science.

Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications

Alessio Lomuscio, Aniello Murano, Petr Cermák, 2015, AAAI.

Verifying Multi-agent Systems via Unbounded Model Checking

Wojciech Penczek, Alessio Lomuscio, Magdalena Kacprzak, 2004, FAABS.

A quantified epistemic logic for reasoning about multiagent systems

Alessio Lomuscio, Francesco Belardinelli, 2007, AAMAS '07.

An algorithmic approach to knowledge evolution

Mark Ryan, Alessio Lomuscio, M. Ryan, 1999, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

Verifying Security Properties in Unbounded Multiagent Systems

Alessio Lomuscio, Ioana Boureanu, Panagiotis Kouvaros, 2016, AAMAS.

Distributed BDD-based BMC for the verification of multi-agent systems

Alessio Lomuscio, Andrew V. Jones, A. Lomuscio, 2010, AAMAS.

Symbolic Model Checking for Temporal-Epistemic Logic

Wojciech Penczek, Alessio Lomuscio, W. Penczek, 2012, Logic Programs, Norms and Action.

Model checking detectability of attacks in multiagent systems

Alessio Lomuscio, Ioana Boureanu, Mika Cohen, 2010, AAMAS.

VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181)

Alessio Lomuscio, Sophie Pinchinat, Holger Schlingloff, 2013, Dagstuhl Reports.

Verification of multiagent systems via ordered binary decision diagrams: an algorithm and its implementation

Alessio Lomuscio, Franco Raimondi, A. Lomuscio, 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

Formal Verification of Opinion Formation in Swarms

Alessio Lomuscio, Panagiotis Kouvaros, 2016, AAMAS.

Towards model checking interpreted systems

Alessio Lomuscio, Marek J. Sergot, Franco Raimondi, 2003, AAMAS '03.

Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts

Alessio Lomuscio, Panagiotis Kouvaros, Ben Batten, 2021, IJCAI.

Formal verification of neural agents in non-deterministic environments

Alessio Lomuscio, Panagiotis Kouvaros, Elena Botoeva, 2022, Auton. Agents Multi Agent Syst..

Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching

Alessio Lomuscio, Panagiotis Kouvaros, A. Lomuscio, 2021, IJCAI.

Formal Analysis of Neural Network-Based Systems in the Aircraft Domain

Alessio Lomuscio, Panagiotis Kouvaros, Dragos D. Margineantu, 2021, FM.