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…