Alessio Lomuscio

Available identifiers

zbMath Open lomuscio.alessioMaRDI QIDQ598544

List of research outcomes

Publication	Date of Publication	Type
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications	2022-05-16	Paper
Verification of multi-agent systems with public actions against strategy logic	2020-08-06	Paper
Abstraction-Based Verification of Infinite-State Reactive Modules.	2018-07-12	Paper
Practical verification of multi-agent systems against \textsc{Slk} specifications	2018-06-14	Paper
A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems	2016-11-30	Paper
Verification of Agent-Based Artifact Systems	2014-10-22	Paper
ASSUME-GUARANTEE REASONING WITH LOCAL SPECIFICATIONS	2013-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q2848072	2013-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2844045	2013-08-27	Paper
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results	2012-12-03	Paper
The Scientific Contribution of Marek Sergot	2012-07-23	Paper
Symbolic Model Checking for Temporal-Epistemic Logic	2012-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q3225705	2012-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q3117554	2012-02-28	Paper
First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment	2011-11-22	Paper
Model Checking Optimisation Based Congestion Control Algorithms	2011-06-14	Paper
Automatic Data-Abstraction in Model Checking Multi-Agent Systems	2011-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q2999187	2011-05-11	Paper
Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems	2011-03-09	Paper
Automatic verification of temporal-epistemic properties of cryptographic protocols	2010-03-10	Paper
A Data Symmetry Reduction Technique for Temporal-epistemic Logic	2009-12-01	Paper
Quantified epistemic logics for reasoning about knowledge in multi-agent systems	2009-08-31	Paper
AI 2003: Advances in Artificial Intelligence	2009-08-07	Paper
Bounded model checking for knowledge and real time	2009-07-09	Paper
First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment	2009-07-02	Paper
Deontic Logic in Computer Science	2009-04-30	Paper
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic	2009-03-17	Paper
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems	2009-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q5506380	2009-01-28	Paper
A Complete and Decidable Axiomatisation for Deontic Interpreted Systems	2008-10-09	Paper
Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation	2007-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q5422291	2007-10-17	Paper
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams	2007-07-25	Paper
mcmas: A Model Checker for Multi-agent Systems	2007-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q5486061	2006-09-06	Paper
Computational Logic in Multi-Agent Systems	2005-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4681373	2005-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4739287	2004-08-12	Paper
A formalisation of violation, error recovery, and enforcement in the bit transmission problem	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4461756	2004-05-18	Paper
Deontic interpreted systems	2004-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4536333	2002-11-25	Paper
A computationally grounded logic of visibility, perception, and knowledge	2001-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q4511250	2000-10-30	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alessio Lomuscio