33 citations · 116 across the 22 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 6 cited
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
Laura Bozzelli, Alberto Molinari, Angelo Montanari +2
The expressive power of interval temporal logics (ITLs) makes them one of the most natural choices in a number of application domains, ranging from the specification and verificati…
cs.LO2020
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…