A. Lomuscio

发表

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.

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

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

Ideal Agents Sharing (some!) Knowledge

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

Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results

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

Alessio Lomuscio, Donald Nute, D. Nute, 2005, J. Appl. Log..

ACSI - Artifact-Centric Service Interoperation

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

Automatic Verification of Knowledge and Time with NuSMV

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

QLB: A Quantified Logic for Belief

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

UvA-DARE ( Digital Academic Repository ) A POMDP Based Approach to Optimally Select Sellers in Electronic

M. Huhns, A. Bazzan, P. Scerri, 2014 .

Towards Automatic Verification of JavaScript Programs

A. Lomuscio, B. D. Wilde, J. Santos, 2017 .

A Logic of Visibility , Perception , and Knowledge : Completeness and Correspondence Results

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

RN / 09 / 02 Model Checking Optimisation-Based Congestion Control Models

A. Lomuscio, Nigel G. Walker, B. Strulo, 2009 .

Quantified Epistemic Logics with Flexible Terms

F. Belardinelli, A. Lomuscio, 2007 .

Repairing misclassifications in neural networks using limited data

A. Lomuscio, Francesco Leofante, P. Henriksen, 2022, SAC.

Group Synthesis for Alternating-Time Temporal Logic

W. Penczek, A. Lomuscio, M. Knapik, 2013 .

Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations

Jianglin Lan, A. Lomuscio, Yang Zheng, 2022, AAAI.

Bounded model checking real-time multi-agent systems with clock di ff erences : theory and implementation

A. Lomuscio, A. Zbrzezny, B. Wozna, 2006 .

Erik P. de Vink, Wiebe van der Hoek, Michael Wooldridge, 2006, Electron. Notes Theor. Comput. Sci..

Reports of the AAAI 2019 Spring Symposium Series

Knut Hinkelmann, Keiki Takadama, Murat Kocaoglu, 2019, AI Mag..

Quantitative Policies over Streaming Data

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

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

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

Erik P. de Vink, Wiebe van der Hoek, Michael Wooldridge, 2004, LCMAS.

Reachability Analysis for Neural Agent-Environment Systems

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

A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems

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

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

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

Synthesizing strategies under expected and exceptional environment behaviors

Giuseppe De Giacomo, Aniello Murano, Benjamin Aminof, 2020, IJCAI.

Imperfect Information in Alternating-Time Temporal Logic on Finite Traces

Sasha Rubin, Francesco Belardinelli, Aniello Murano, 2019, PRIMA.

Alternating-time Temporal Logic on Finite Traces

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

To appear in: Int Journal of Group Decision and Negotiation GDN2000 Keynote Paper Automated Negotiation: Prospects, Methods and Challenges

N. R. Jennings, M. J. Wooldridge, P. Faratin, 2022 .

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

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

Verification of multi-agent systems with public actions against strategy logic

Sasha Rubin, Francesco Belardinelli, Aniello Murano, 2020, Artif. Intell..

A Computationally Grounded Logic of Visibility, Perception, and Knowledge

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

Multi-agent VSK Logic

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

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

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

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

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

A Complete First-Order Logic of Knowledge and Time

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

An algorithmic approach to knowledge evolution

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

Reasoning about Visibility, Perception and Knowledge

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

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

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

A Methodology for Automatic Diagnosability Analysis

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

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

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

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

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

A Classification Scheme for Negotiation in Electronic Commerce

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

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

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

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.

Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis

Panagiotis Kouvaros, Ruth Misener, Elena Botoeva, 2020, AAAI.

Formal Verification of CNN-based Perception Systems pdf

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

Parameterised verification for multi-agent systems

Panagiotis Kouvaros, Alessio Lomuscio, A. Lomuscio, 2016, Artif. Intell..

A Model Checker for Strategy Logic

Alessio R. Lomuscio, A. Lomuscio, 2014 .

Symbolic Model Checking for Temporal-Epistemic Logic

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

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

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

Runtime Monitoring of Contract Regulated Web Services

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

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

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

Symbolic model checking for temporal-epistemic logics

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

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

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

The complexity of model checking concurrent programs against CTLK specifications

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

On the complexity of practical ATL model checking

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

Model Checking ATL and its epistemic extensions

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

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

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

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

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

From Bounded to Unbounded Model Checking for Temporal Epistemic Logic

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

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

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

Towards verifying neural autonomous systems

A. Lomuscio, 2021 .

Model Checking Temporal Epistemic Logic under Bounded Recall

Francesco Belardinelli, Emily Yu, Alessio Lomuscio, 2020, AAAI.

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

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

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..

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

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

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

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

Bounded model checking for knowledge and real time

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

A Logic for Knowledge, Correctness, and Real Time

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

Knowledge sharing among ideal agents

Alessio Lomuscio, A. Lomuscio, 1999 .

Synthesizing Best-effort Strategies under Multiple Environment Specifications

Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, 2021, KR.

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

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

Verification of Agent-Based Artifact Systems

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

Automatic Data-Abstraction in Model Checking Multi-Agent Systems

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

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.

Practical verification of multi-agent systems against Slk specifications

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

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

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

Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata

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

Towards verifying contract regulated service composition

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

Automated Verification of Quantum Protocols using MCMAS

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

Towards verifying compliance in agent-based web service compositions

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

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

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

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

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

A Complete and Decidable Axiomatisation for Deontic Interpreted Systems

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

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

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

MCMAS: A Model Checker for Multi-agent Systems

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

Bounded Model Checking for Deontic Interpreted Systems

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

Automatic Verification of Deontic Properties of Multi-agent Systems

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

A Tableaux System for Deontic Interpreted Systems

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

Deontic Interpreted Systems

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

Towards model checking interpreted systems

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

The bit transmission problem revisited

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

The Scientific Contribution of Marek Sergot

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

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

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

An Abstraction Technique for the Verification of Artifact-Centric Systems

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

Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic

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

A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems

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

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.

Knowledge in multiagent systems: initial configurations and broadcast

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

A Logic For Ignorance

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

Verifying Multi-agent Systems via Unbounded Model Checking

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

DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis

Alessio Lomuscio, Patrick Henriksen, A. Lomuscio, 2021, IJCAI.

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

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

Assume-Guarantee Reasoning with Local Specifications

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

Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search

P. Henriksen, A. Lomuscio, A. Lomuscio, 2020, ECAI.

Verifying Fault-tolerance in Parameterised Multi-Agent Systems

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

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

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

Automated Negotiation: Prospects, Methods and Challenges

C. Sierra, M. Wooldridge, S. Parsons, 2001 .

Towards Robust Contrastive Explanations for Human-Neural Multi-agent Systems

A. Lomuscio, Francesco Leofante, 2023, AAMAS.

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

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

Group synthesis for parametric temporal-epistemic logic

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

Expressive Losses for Verified Robustness via Convex Combinations

M. P. Kumar, Krishnamurthy Dvijotham, Robert Stanforth, 2023, ICLR.

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

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

Automatic verification of epistemic specifications under convergent equational theories

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

MRobust: A Method for Robustness against Adversarial Attacks on Deep Neural Networks

Alessio Lomuscio, Yi-Ling Liu, A. Lomuscio, 2020, 2020 International Joint Conference on Neural Networks (IJCNN).

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

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

Verification of RNN-Based Neural Agent-Environment Systems

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

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

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

Efficient Verification of Neural Networks Against LVM-Based Specifications

A. Lomuscio, Harleen Hanspal, 2023, 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).

Model Checking Multi-Agent Systems against LDLK Specifications

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

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

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

Compositional neural-network modeling of complex analog circuits

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

Verifying Emergent Properties of Swarms

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

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

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

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

A. Lomuscio, F. Raimondi, 2004, ECAI.

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

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

Parametric Computation Tree Logic with Knowledge

W. Penczek, A. Lomuscio, M. Knapik, 2011 .

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

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

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

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

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..

The complexity of symbolic model checking temporal-epistemic logics

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

A counter abstraction technique for verifying properties of probabilistic swarm systems

A. Lomuscio, Edoardo Pirovano, 2022, Artif. Intell..

Formal Verification of Open Multi-Agent Systems

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

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

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

Model Checking GSM-Based Multi-Agent Systems

Pavel Gonzalez, Alessio Lomuscio, Andreas Griesmayer, 2013, ICSOC Workshops.

Verification of Deployed Artifact Systems via Data Abstraction

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

A Symmetry Reduction Technique for Model Checking Temporal-epistemic Logic

A. Lomuscio, Mika Cohen, Mads Dam, 2022 .

Quantified Epistemic Logics with Flexible Terms

F. Belardinelli, A. Lomuscio, 2007 .

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.

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..

Unbounded Model Checking for Knowledge and Time

M. Kacprzak, W. Penczek, A. Lomuscio, 2003 .

Parameterised Verification of Data-aware Multi-Agent Systems

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

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

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

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

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

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

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

Automatic Verification of Parameterised Interleaved Multi-Agent Systems pdf

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

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.

Model checking security protocols : a multi-agent system approach

A. Lomuscio, W. Penczek, W. Penczek, 2007 .

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

Alessio Lomuscio, Charles Pecheur, Franco Raimondi, 2005 .

Verification of Semantic Key Point Detection for Aircraft Pose Estimation

D. Margineantu, A. Lomuscio, Francesco Leofante, 2023, KR.

A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification

Jianglin Lan, A. Lomuscio, Benedikt Brückner, 2023, AAAI.

Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification

Jianglin Lan, A. Lomuscio, Yang Zheng, 2023, AAAI.

Verification-friendly Networks: the Case for Parametric ReLUs

A. Lomuscio, Francesco Leofante, P. Henriksen, 2023, 2023 International Joint Conference on Neural Networks (IJCNN).

Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems

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

Formal verification of neural agents in non-deterministic environments

Panagiotis Kouvaros, Elena Botoeva, Alessio Lomuscio, 2021, Autonomous Agents and Multi-Agent Systems.

Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems

Michael E. Akintunde, michael. akintunde, e. botoeva, 2020, KR.

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

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

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

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

Approximating Perfect Recall When Model Checking Strategic Abilities

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

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

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

A Counter Abstraction Technique for the Verification of Robot Swarms

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

A Spectrum of Modes of Knowledge Sharing between Agents

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

Robust Training of Neural Networks against Bias Field Perturbations

A. Lomuscio, P. Henriksen, 2023, AAAI.

Automated Negotiation: Prospects, Methods and Challenges

P. Faratin, A. Lomuscio, Nicholas R. Jennings, 2001 .