Agent composition synthesis based on ATL

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Volumn 1, Issue , 2010, Pages 499-506

  De Giacomo, Giuseppe ^a   Felli, Paolo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Agent composition; Model checking. ATL; Synthesis

Indexed keywords

AUTONOMOUS AGENTS; CONCRETES; MULTI AGENT SYSTEMS; SYNTHESIS (CHEMICAL); TOOLS;

AGENT COMMUNITIES; ALTERNATING TIME TEMPORAL LOGIC; COMPOSITION SYNTHESIS; MODEL-CHECKING TECHNIQUES; SERVICE COMPOSITIONS; STATE OF THE ART; SYNTHESIS PROBLEMS; VERIFICATION TOOLS;

MODEL CHECKING;

EID: 84899456567     PISSN: 15488403     EISSN: 15582914     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. Journal of the ACM, 49(5):672-713, 2002.
2. P. Balbiani, F. Cheikh, and G. Feuillade. Algorithms and complexity of automata synthesis by asynhcronous orchestration with applications to web services composition. Electronic Notes in Theoretical Computer Science. 229(3):3-18, July 2009.
3. E. M. Clarke, O. Grumberg, and D. A. Peled. Model checking. The MIT Press, Cambridge, MA, USA, 1999.
4. G. De Giacomo, R. De Masellis, and F. Patrizi. Composition of partially observable services exporting their behaviour. In ICAPS, 2009.
5. G. De Giacomo and S. Sardina. Automatic synthesis of new behaviors from a library of available behaviors. In IJCAI, pages 1866-1871, 2007.
6. D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. The MIT Press, 2000.
7. A. Lomuscio, H. Qu, and F. Raimondi. Mcmas: A model checker for the verification of multi-agent systems. In CAV, pages 682-688, 2009.
8. A. Lomuscio and F. Raimondi. Model checking knowledge, strategies, and games in multi-agent systems. In AAMAS, pages 161-168, 2006.
9. Y. Lustig and M. Y. Vardi. Synthesis from component libraries. In FOSSACS, pages 395-409, 2009.
10. R. Millier. An algebraic definition of simulation between programs. In IJCAL pages 481-489, 1971.
11. A. Muscholl and I. Walukiewicz. A lower bound on web services composition. Logical Methods in Computer Science, 4(2), 2008.
12. F. Patrizi. Simulation-based Techniques for Automated Service Composition. PhD thesis, DIS, Sapienza Univ. Roma, 2009.
13. M. Pistore, A. Marconi, P. Bertoli, and P. Traverso. Automated composition of web services by planning at the knowledge level. In IJCAI, pages 1252-1259, 2005.
14. N. Piterman, A. Pnueli, and Y. Sa'ar. Synthesis of reactive(1) designs. In VMCAI, pages 364-380, 2006.
15. A. Pnueli and R. Rosner. On the synthesis of a reactive module. In POPL, pages 179-190, 1989.
16. J. Rintanen. Complexity of planning with partial observability. In ICAPS, pages 345-354, 2004.
17. S. Sardina, F. Patrizi, and G. De Giacomo. Automatic synthesis of a global behavior from mull iple distributed behaviors. In AAAI, 2007.
18. S. Sardina, F. Patrizi, and G. De Giacomo. Behavior composition in the presence of failure. In KR, pages 640-650, 2008.
19. T. Ströder and M. Pagnucco. Realising deterministic behavior from multiple non-deterministic behaviors. In IJCAI, 2009.
20. J. Su, editor. IEEE Data Engineering Bulletin: Special Issue on Semantic Web Services, Volume 31:2, 2008.
21. M. Wooldridge. An Introduction to MultiAgent Systems. John Wiley & Sons, 2nd edition, 2009.