4 citations · 18 across the 16 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.FL2017
Event-Clock Nested Automata
Laura Bozzelli, Aniello Murano, Adriano Peron
In this paper we introduce and study Event-Clock Nested Automata (ECNA), a formalism that combines Event Clock Automata (ECA) and Visibly Pushdown Automata (VPA). ECNA allow to exp…
cs.LO2017★ 3 cited
On the Complexity of ATL and ATL* Module Checking
Laura Bozzelli, Aniello Murano
Module checking has been introduced in late 1990s to verify open systems, i.e., systems whose behavior depends on the continuous interaction with the environment. Classically, modu…