Two-player game structures for generalized planning and agent composition

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2010, Pages 297-302

  De Giacomo, Giuseppe ^a   Felli, Paolo ^a   Patrizi, Fabio ^a   Sardina, Sebastian ^b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b RMIT UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; GAME THEORY;

AGENT BEHAVIOR; CONDITIONAL PLANNING; GENERALIZED PLANNING; PLANNING PROJECTS; TRANSITION SYSTEM; TWO-PLAYER GAMES;

MODEL CHECKING;

EID: 77958530633     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. Alur, R.; Henzinger, T. A.; and Kupferman, O. 2002. Alternating-time temporal logic. Journal of the ACM (49):672-713.
2. Cimatti, A.; Pistore, M.; Roveri, M.; and Traverso, P. 2003. Weak, strong, and strong cyclic planning via symbolic model checking. Artificial Intelligence Journal 1-2(147).
3. Clarke, E. M.; Grumberg, O.; and Peled, D. A. 1999. Model checking. Cambridge, MA, USA: The MIT Press.
4. de Alfaro, L.; Henzinger, T. A.; and Majumdar, R. 2001. From verification to control: Dynamic programs for omega-regular objectives. In Proc. of LICS'01, 279-290.
5. De Giacomo, G., and Felli, P. 2010. Agent composition synthesis based on ATL. In Proc. of AAMAS'10.
6. De Giacomo, G.; Patrizi, F.; and Sardina, S. 2010. Agent programming via planning programs. In Proc. of AAMAS'10.
7. Emerson, E. A. 1996. Model checking and the mu-calculus. In Descriptive Complexity and Finite Models, 185-214.
8. Fritz, C; Baier, J. A.; and Mcllraith, S. A. 2008. ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. In Proc. of KR'08, 600-610.
9. Genesereth, M. R., and Nilsson, N. J. 1987. Logical foundations of artificial intelligence. Morgan Kaufmann.
10. Ghallab, M.; Nau, D. S.; and Traverso, P. 2004. Automated Planning: Theory and Practice. Morgan Kaufmann.
11. Kerjean, S.; Kabanza, F; St.-Denis, R.; and Thiebaux, S. 2006. Analyzing LTL model checking techniques for plan synthesis and controller synthesis (work in progress). Electronic Notes in Theoretical Computer Science (ENTCS) 149(2):91-104.
12. Lespérance, Y.; De Giacomo, G.; and Ozgovde, A. N. 2008. A model of contingent planning for agent programming languages. In Proc. of AAMAS'08,477-484.
13. Lomuscio, A.; Qu, H.; and Raimondi, F. 2009. MCMAS: A model checker for the verification of multi-agent systems. In Proc. of CAV'09, 682-688.
14. Lundh, R.; Karlsson, L.; and Saffiotti, A. 2008. Automatic configuration of multi-robot systems: Planning for multiple steps. In Proc. of ECAI'08, 616-620.
15. Piterman, N.; Pnueli, A.; and Sa'ar, Y. 2006. Synthesis of reac-tive(l) designs. In Proc. of VMCAl'06, 364-380. Springer.
16. Ramadge, P. J., and Wonham, W. M. 1989. The control of discrete event systems. IEEE Trans, on Control Theory 77( 1 ):81-98.
17. Rintanen, J. 2004. Complexity of Planning with Partial Observability. In Proc. of ICAPS'04, 345-354.
18. Sardina, S., and De Giacomo, G. 2008. Realizing multiple autonomous agents through scheduling of shared devices. In Proc. of ICAPS'08, 304-312.
19. Sardina, S.; De Giacomo, G.; and Patrizi, F. 2008. Behavior Composition in the Presence of Failure. In Proc. of KR'08, 640-650.
20. Stirling, C, and Walker, D. 1991. Local model checking in the modal mu-calculus. Theor. Comput. Sci. 89(1):161-177.
21. Stroeder, T., and Pagnucco, M. 2009. Realising deterministic behaviour from multiple non-deterministic behaviours. In Proc. of UCAl'09, 936-941.
22. Su, J., ed. 2008. Semantic Web Services: Composition and Analysis. IEEE Data Eng. Bull., volume 31. IEEE Comp. Society.
23. Wooldridge, M. 2009. Introduction to MultiAgent Systems. John Wiley & Sons, 2nd edition.