250 citations · 335 across the 18 of their papers we have counts for
6 papers · 1 filter
Proceedings of the 4th International Workshop on Strategic Reasoning
Alessio Lomuscio, Moshe Y. Vardi
This volume contains the proceedings of the Fourth International Workshop on Strategic Reasoning (SR 2016), held in New York City (USA), July 10, 2016. The workshop consisted of 2…
Model Checking Epistemic Halpern-Shoham Logic Extended with Regular Expressions
Alessio Lomuscio, Jakub Michaliszyn
The Epistemic Halpern-Shoham logic (EHS) is a temporal-epistemic logic that combines the interval operators of the Halpern-Shoham logic with epistemic modalities. The semantics of…
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications
Petr Čermák, Alessio Lomuscio, Fabio Mogavero +1
We introduce MCMAS-SLK, a BDD-based model checker for the verification of systems against specifications expressed in a novel, epistemic variant of strategy logic. We give syntax a…
Automated Verification of Quantum Protocols using MCMAS
F. Belardinelli, P. Gonzalez, A. Lomuscio
We present a methodology for the automated verification of quantum protocols using MCMAS, a symbolic model checker for multi-agent systems The method is based on the logical framew…
Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics
Alessio Lomuscio, Wojciech Penczek
This article surveys some of the recent work in verification of temporal epistemic logic via symbolic model checking, focusing on OBDD-based and SAT-based approaches for epistemic…
Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast
A. R. Lomuscio, R. van der Meyden, M. D. Ryan
The semantic framework for the modal logic of knowledge due to Halpern and Moses provides a way to ascribe knowledge to agents in distributed and multi-agent systems. In this paper…