Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions

DMCA

Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions

Cached

Download Links

by Alessio Lomuscio , Jakub Michaliszyn

Citations

3248	Model Checking - Clarke, Grumberg, et al. - 1999
1870	Reasoning about Knowledge - Fagin, Halpern, et al. - 1995
742	Construction of Abstract State Graphs with PVS - Graf, Saidi - 1997
620	Alternating-time temporal logic. - Alur, Henzinger, et al. - 2002
220	Programming Multi-Agent Systems in AgentSpeak using Jason. - Bordini, Hubner, et al. - 2007
186	MOCHA: modularity in model checking. - Alur, Henzinger, et al. - 1998
100	MCMAS: A model checker for the verification of multi-agent systems. - Lomuscio, Qu, et al. - 2009
85	Verifying epistemic properties of multi-agent systems via bounded model checking - Penczek, Lomuscio
82	Model checking multiagent systems with MABLE - Wooldridge, Fisher, et al. - 2002
58	Verifying Multi-agent Programs by Model Checking. Autonomous Agents and Multi-Agent Systems, - Bordini, Fisher, et al. - 2006
52	Automatic verification of multi-agent systems by model checking via OBDDs - Raimondi, Lomuscio
43	Reasoning about strategies. - Mogavero, Murano, et al. - 2010
39	Agents that know how to play. Fundamenta Informaticae, - Jamroga, Hoek - 2004
32	Model checking multi-agent programs with CASP. - Bordini, Fisher, et al. - 2003
32	SMT techniques for fast predicate abstraction,” in - Lahiri, Nieuwenhuis, et al. - 2006
31	Verification of multiagent systems via ordered binary decision diagrams: an algorithm and its implementation. - Raimondi, Lomuscio - 2004
29	ATL with strategy contexts and bounded memory. - Brihaye, Costa, et al. - 2009
26	Automated verification of multi-agent programs. - Bordini, Dennis, et al. - 2008
23	Feasible strategies in alternating-time temporal epistemic logic. Master’s thesis, - Jonker - 2003
23	Model checking knowledge, strategies, and games in multi-agent systems. - Raimondi, Lomuscio - 2005
23	Checking reachability properties for timed automata via SAT. - Wozna, Zbrzezny, et al. - 2003
19	F.: Abstraction in model checking multi-agent systems - Cohen, Dam, et al. - 2009
15	Model checking knowledge and time. - Hoek, Wooldridge - 2002
15	Bounded model checking knowledge and real time. - Lomuscio, Penczek, et al. - 2007
14	H.: A symmetry reduction technique for model checking temporal epistemic logic - Cohen, Dam, et al. - 2009
13	Automatic verification of deontic interpreted systems by model checking via OBDDs. - Raimondi, Lomuscio - 2004
12	Model checking agent programming languages. - Dennis, Fisher, et al. - 2012
10	MCMAS-SLK: A model checker for the verification of strategy logic specifications. - Cermak, Lomuscio, et al. - 2014
9	Modelling coalitions: Atl + argumentation. - Bulling, Chesnevar, et al. - 2008
9	Model-checking ATL under imperfect information and perfect recall semantics is undecidable. - Dima, Tiplea - 2011
7	C.: Abstractions of multi-agent systems - Enea, Dima - 2007
5	Fully symbolic unbounded model checking for alternating-time temporal logic. - Kacprzak, Penczek - 2005
4	Model checking the logic of knowledge. - MCK - 2004
4	An epistemic Halpern-Shoham logic. - Lomuscio, Michaliszyn - 2013
3	Model checking logics of strategic ability: - Bulling, Dix, et al. - 2010
3	Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. - Hoek, Wooldridge - 2003
3	Symbolic model checking epistemic strategy logic. - Huang, Meyden - 2014
3	A temporal logic of strategic knowledge. - Huang, Meyden - 2014
3	Model checking abilities under incomplete information is indeed δ2p-complete. EUMAS, - Jamroga, Dix - 2006
2	Model checking temporal-epistemic logic using alternating tree automata. - Belardinelli, Jones, et al. - 2011
2	Model checking agent knowledge in dynamic access control policies. In Tools and Algorithms for the Construction and Analysis of Systems, - Koleini, Ritter, et al. - 2013
2	Knowledge based programs: On the complexity of perfect recall in finite environments. - Meyden - 1996
1	Abstraction for epistemic model checking of dining cryptographers-based protocols. - Bataineh, Meyden - 2011
1	Verics - Kacprzak, Nabialek, et al. - 2007
1	An abstraction technique for the verification of multi-agent systems against ATL specifications. - Lomuscio, Michaliszyn - 2014
1	Synthesis and verification of uniform strategies for multi-agent systems. - Pilecki, Bednarczyk, et al. - 2014
1	Verifying heterogeneous multi-agent programs. - Trang, Yao, et al. - 2014