Alternating-Time Stream Logic for Multi-agent Systems
暂无分享,去创建一个
[1] Krishnendu Chatterjee,et al. Algorithms for Omega-Regular Games with Imperfect Information, , 2006, CSL.
[2] Christel Baier,et al. Symbolic Model Checking for Channel-based Component Connectors , 2007, FOCLASA.
[3] Jean-François Raskin,et al. A Lattice Theory for Solving Games of Imperfect Information , 2006, HSCC.
[4] J. Reif,et al. On Multiplayer Non-Cooperative Games of Incomplete Information: Part 1 - Decision Algorithms , 1991 .
[5] Farhad Arbab,et al. Reo: A Channel-based Coordination Model for Component Composition , 2005 .
[6] Michael Wooldridge,et al. Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications , 2003, Stud Logica.
[7] Michael Wooldridge,et al. Knowledge and social laws , 2005, AAMAS '05.
[8] Thomas A. Henzinger,et al. Concurrent omega-regular games , 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
[9] Krishnendu Chatterjee,et al. Algorithms for Omega-Regular Games with Imperfect Information , 2006, Log. Methods Comput. Sci..
[10] Christel Baier,et al. Models and temporal logics for timed component connectors , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
[11] Moshe Tennenholtz,et al. Choosing social laws for multi-agent systems: Minimality and simplicity , 2000, Artif. Intell..
[12] John H. Reif,et al. The Complexity of Two-Player Games of Incomplete Information , 1984, J. Comput. Syst. Sci..
[13] Christel Baier,et al. Modeling component connectors in Reo by constraint automata , 2004, Sci. Comput. Program..
[14] Christel Baier,et al. Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications , 2005, COORDINATION.
[15] Pierre-Yves Schobbens,et al. Alternating-time logic with imperfect recall , 2004, LCMAS.
[16] Michael Wooldridge. Social Laws in Alternating Time , 2004, DEON.
[17] Richard E. Ladner,et al. Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..
[18] Nancy A. Lynch,et al. An introduction to input/output automata , 1989 .
[19] Pierre Wolper,et al. Specification and synthesis of communicating processes using an extended temporal logic: (preliminary version) , 1982, POPL '82.
[20] J. Reif,et al. On Multiplayer Non-Cooperative Games of Incomplete Information: Part 2 - Lower Bounds , 1991 .
[21] Thomas A. Henzinger,et al. Alternating-time temporal logic , 2002, JACM.
[22] Thomas A. Henzinger,et al. Interface automata , 2001, ESEC/FSE-9.