250 citations · 335 across the 18 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 14 cited
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…
cs.MA2014★ 21 cited
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
Francesco Belardinelli, Alessio Lomuscio
We investigate a class of first-order temporal-epistemic logics for reasoning about multi-agent systems. We encode typical properties of systems including perfect recall, synchroni…