Sciweavers

ATAL
2006
Springer

Model checking knowledge, strategies, and games in multi-agent systems

13 years 7 months ago
Model checking knowledge, strategies, and games in multi-agent systems
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we investigate the interpretation of ATL and epistemic formulae in various classes of interpreted systems, we present model checking algorithms and their implementation, and report experimental results. General Terms Theory;Verification,Algorithms Keywords Model checking multi-agent systems; ATL
Alessio Lomuscio, Franco Raimondi
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where ATAL
Authors Alessio Lomuscio, Franco Raimondi
Comments (0)