Alternating-time stream logic for multi-agent systems

Science of Computer Programming

Volumn 75, Issue 6, 2010, Pages 398-425

  Klüppelholz, Sascha ^a   Baier, Christel ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Alternating time temporal logic; Automata; Concurrent games; Coordination; Data streams; Model checking

Indexed keywords

ALTERNATING TIME TEMPORAL LOGIC; COMPOSITE SYSTEMS; CONCURRENT GAMES; CONSTRAINT AUTOMATA; DATA STREAM; EQUIVALENCE CHECKING; GLUE-CODES; INDIVIDUAL COMPONENTS; LOGICAL PROPERTIES; OPERATIONAL BEHAVIOR; OPERATIONAL MODEL; PEER-TO-PEER COMMUNICATIONS; READ OPERATION; SERVICE INTERFACES; VERIFICATION ALGORITHMS;

DATA COMMUNICATION SYSTEMS; HYDRAULICS; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; MODEL CHECKING; MULTI AGENT SYSTEMS; ROBOTS; SEMANTICS; TEMPORAL LOGIC; TRANSLATION (LANGUAGES);

AUTOMATA THEORY;

EID: 77949774296     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2009.07.007     Document Type: Article

References (25)

1. Alur R., Henzinger T.A., and Kupferman O. Alternating-time temporal logic. Journal of the ACM 49 (2002) 672-713
2. Arbab F. Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science 14 3 (2004) 329-366
3. Arbab F., Baier C., deBoer F., and Rutten J.J.M.M. Models and temporal logics for timed component connectors. Proc. of SEFM (2004), IEEE CS Press 198-207
4. Arbab F., Baier C., deBoer F., Rutten J.J.M.M., and Sirjani M. Synthesis of Reo circuits for implementation of component connector automata specifications. Proc. of COORDINATION. LNCS vol. 3454 (2005)
5. S. Azhar, G.L. Peterson, J.H. Reif, On multiplayer non-cooperative games of incomplete information: Part 1&2, Technical report, Durham, NC, USA, 1991
6. Baier C., Sirjani M., Arbab F., and Rutten J.J.M.M. Modeling component connectors in Reo by constraint automata. Science of Computer Programming 61 (2006) 75-113
7. Tobias Blechmann, Joachim Klein, Sascha Klüppelholz, Vereofy. http://www.vereofy.de, 2008
8. Chadha R., Prasad Sistla A., and Viswanathan M. On the expressiveness of randomization in finite state monitors. Proc. LICS (2008), IEEE computer society 18-29
9. K. Chatterjee, L. Doyen, T.A. Henzinger, J.F. Raskin, Algorithms for omega-regular games with imperfect information. CoRR, abs/0706.2619, 2007
10. Clarke E.M., Emerson E.A., and Sistla A.P. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM TOPLAS 8 2 (1986) 244-263
11. deAlfaro L., and Henzinger T.A. Interface automata. FSE Proc. (2001), ACM Press 109-120
12. M. de Wulf, Laurent Doyen, Jean-François Raskin, A lattice theory for solving games of imperfect information, in: HSCC, 2006, pp. 153-168
13. Fischer M.J., and Ladner R.J. Propositional dynamic logic of regular programs. Journal of Computer and System Science 8 (1979) 194-211
14. Fitoussi D., and Tennenholtz M. Choosing social laws for multi-agent systems: Minimality and simplicity. Artif. Intell. 119 1-2 (2000) 61-101
15. Francez N. Fairness (1986), Springer-Verlag
16. R. Grosu, B. Rumpe, Concurrent timed port automata, Technical Report TUM-I9533, Techn. Univ. München, 1995. http://www4.informatik.tu-muenchen.de/reports/
17. W. van der Hoek, M. Roberts, M. Wooldridge, Knowledge and social laws, in: AAMAS, 2005, pp. 674-681
18. van der Hoek W., and Wooldridge M. Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Studia Logica 75 1 (2003) 125-157
19. Klüppelholz S., and Baier C. Symbolic model checking for channel-based component connectors. Fifth International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06). Science of Computer Programming 74 9 (2009) 688-701 (special issue)
20. Lynch N., and Tuttle M.R. An introduction to input/output automata. CWI Quarterly 2 3 (1989) 219-246
21. Reif J.H. The complexity of two-player games of incomplete information. J. Comput. Syst. Sci. 29 2 (1984) 274-301
22. Jean-Guy Schneider, Markus Lumpe, Oscar Nierstrasz, Agent coordination via scripting languages, in: Coordination of Internet Agents: Models, Technologies, and Applications, 2001, pp. 153-175
23. Schobbens P.Y. Alternating-time logic with imperfect recall. Proc. of LCMAS. ENTCS vol. 85(2) (2004) 1-12
24. P. Wolper, Specification and synthesis of communicating processes using an extended temporal logic, in: Proc. of POPL, 1982, pp. 20-33
25. M. Wooldridge, Social laws in alternating time, in: DEON, 2004, p. 2