Qualitative approximate behavior composition

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7519 LNAI, Issue , 2012, Pages 450-462

  Yadav, Nitin ^a   Sardina, Sebastian ^a  

^a RMIT UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIOR COMPOSITION; MODEL-CHECKING TECHNOLOGY; OPTIMAL APPROXIMATION; SOUNDNESS AND COMPLETENESS; TARGET SYSTEMS; UNSOLVABLE PROBLEMS;

MODEL CHECKING; OPTIMIZATION;

PROBLEM SOLVING;

EID: 84866952372     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33353-8_35     Document Type: Conference Paper

References (21)

1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM (49), 672-713 (2002)
2. Balbiani, P., Cheikh, F., Feuillade, G.: Composition of interactive web services based on controller synthesis. In: Proc. of SERVICES, pp. 521-528 (2008)
3. Berardi, D., Cheikh, F., De Giacomo, G., Patrizi, F.: Automatic service composition via simulation. International Journal of Foundations of Computer Science 19(2), 429-452 (2008)
4. Bloem, R., Jobstmann, B., Piterman, N., Pnueli, A., Saar, Y.: Synthesis of reactive(1) designs. Journal of Computer and System Sciences, 1-28 (2011)
5. De Giacomo, G., Felli, P.:Agent composition synthesis based on ATL. In: Proc. ofAAMAS, pp. 499-506 (2010)
6. De Giacomo, G., Sardina, S.: Automatic synthesis of new behaviors from a library of available behaviors. In: Proc. of IJCAI, pp. 1866-1871 (2007)
7. French, S.: Decision Theory: An Introduction to the Mathematics of Rationality. Ellis Horwood (1986)
8. Ghallab, M., Nau, D.S., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann Publishers Inc. (2004)
9. Girard, A., Pappas, G.: Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control 52(5), 782-798 (2007)
10. Hull, R.: Web services composition: A story of models, automata, and logics. In: Proc. of SCC, pp. 18-19 (2005)
11. Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: A Model Checker for the Verification of Multi-Agent Systems. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 682-688. Springer, Heidelberg (2009)
12. Lustig, Y., Vardi, M.Y.: Synthesis from Component Libraries. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol. 5504, pp. 395-409. Springer, Heidelberg (2009)
13. Milner, R.: An algebraic definition of simulation between programs. In: Proc. of IJCAI, pp. 481-489 (1971)
14. Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: Proc. of POPL, pp. 179- 190 (1989)
15. Saffiotti, A., Broxvall, M.: PEIS ecologies: Ambient intelligence meets autonomous robotics. In: Proc. of the International Conference on Smart Objects and Ambient Intelligence, pp. 275-280 (2005)
16. Sardina, S., De Giacomo, G.: Realizing multiple autonomous agents through scheduling of shared devices. In: Proc. of ICAPS, pp. 304-312 (2008)
17. Sardina, S., Patrizi, F., De Giacomo, G.: Behavior composition in the presence of failure. In: Proc. of KR, pp. 640-650 (2008)
18. Shoham, Y.: Agent-oriented programming. Artificial Intelligence Journal 60, 51-92 (1993)
19. Stroeder, T., Pagnucco, M.: Realising deterministic behaviour from multiple nondeterministic behaviours. In: Proc. of IJCAI, pp. 936-941 (2009)
20. Yadav, N., Sardina, S.: Decision theoretic behavior composition. In: Proc. of AAMAS, pp. 575-582 (2011)
21. Yadav, N., Sardina, S.: Qualitative approximate behavior composition (2012) Available from CoRR, http://arxiv.org/abs/1207.3863