Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Module checking of pushdown multi-agent systems
Laura Bozzelli, Aniello Murano, Adriano Peron
In this paper, we investigate the module-checking problem of pushdown multi-agent systems (PMS) against ATL and ATL* specifications. We establish that for ATL, module checking of P…
cs.LO2024
Automata-Theoretic Characterisations of Branching-Time Temporal Logics
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero +1
Characterisations theorems serve as important tools in model theory and can be used to assess and compare the expressive power of temporal languages used for the specification and…