{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T10:33:34Z","timestamp":1768732414233,"version":"3.49.0"},"reference-count":92,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T00:00:00Z","timestamp":1362096000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[2013,3]]},"DOI":"10.1016\/j.artint.2012.12.001","type":"journal-article","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T16:16:01Z","timestamp":1357143361000},"page":"106-142","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":40,"special_numbering":"C","title":["Automatic behavior composition synthesis"],"prefix":"10.1016","volume":"196","author":[{"given":"Giuseppe","family":"De Giacomo","sequence":"first","affiliation":[]},{"given":"Fabio","family":"Patrizi","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Sardi\u00f1a","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.artint.2012.12.001_br0010","doi-asserted-by":"crossref","unstructured":"M. Abadi, L. Lamport, P. Wolper, Realizable and unrealizable specifications of reactive systems, in: Proceedings of the International Colloquium on Automata, Languages and Programming (ICALP), 1989, pp. 1\u201317.","DOI":"10.1007\/BFb0035748"},{"key":"10.1016\/j.artint.2012.12.001_br0020","series-title":"Web Services. Concepts, Architectures and Applications","author":"Alonso","year":"2004"},{"issue":"5","key":"10.1016\/j.artint.2012.12.001_br0030","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/585265.585270","article-title":"Alternating-time temporal logic","volume":"49","author":"Alur","year":"2002","journal-title":"Journal of the ACM"},{"key":"10.1016\/j.artint.2012.12.001_br0040","doi-asserted-by":"crossref","unstructured":"R. Alur, T.A. Henzinger, F.Y.C. Mang, S. Qadeer, S.K. Rajamani, S. Tasiran, MOCHA: Modularity in model checking, in: Proceedings of the International Conference Computer Aided Verification (CAV), 1998, pp. 521\u2013525.","DOI":"10.1007\/BFb0028774"},{"key":"10.1016\/j.artint.2012.12.001_br0050","series-title":"Hybrid Systems II","first-page":"1","article-title":"Symbolic controller synthesis for discrete and timed systems","volume":"vol. 999","author":"Asarin","year":"1995"},{"key":"10.1016\/j.artint.2012.12.001_br0060","series-title":"IFAC Symposium on System Structure and Control","first-page":"469","article-title":"Controller synthesis for timed automata","author":"Asarin","year":"1998"},{"issue":"1\u20132","key":"10.1016\/j.artint.2012.12.001_br0070","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1018985923441","article-title":"Planning for temporally extended goals","volume":"22","author":"Bacchus","year":"1998","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/j.artint.2012.12.001_br0080","doi-asserted-by":"crossref","unstructured":"P. Balbiani, F. Cheikh, G. Feuillade, Composition of interactive web services based on controller synthesis, in: Proceedings of the IEEE Congress on Services (SERVICES), 2008, pp. 521\u2013528.","DOI":"10.1109\/SERVICES-1.2008.11"},{"issue":"3","key":"10.1016\/j.artint.2012.12.001_br0090","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2009.06.036","article-title":"Algorithms and complexity of automata synthesis by asynchronous orchestration with applications to web services composition","volume":"229","author":"Balbiani","year":"2009","journal-title":"Electronic Notes in Theoretical Computer Science (ENTCS)"},{"key":"10.1016\/j.artint.2012.12.001_br0100","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/j.entcs.2010.04.004","article-title":"Controller\/orchestrator synthesis via filtration","volume":"262","author":"Balbiani","year":"2010","journal-title":"Electronic Notes in Theoretical Computer Science (ENTCS)"},{"issue":"1","key":"10.1016\/j.artint.2012.12.001_br0110","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/MRA.2007.339624","article-title":"Symbolic planning and control of robot motion: State of the art and grand challenges","volume":"14","author":"Belta","year":"2007","journal-title":"IEEE Robotics and Automation Magazine"},{"key":"10.1016\/j.artint.2012.12.001_br0120","unstructured":"D. Berardi, D. Calvanese, G. De Giacomo, R. Hull, M. Mecella, Automatic composition of transition-based semantic web services with messaging, in: Proceedings of the International Conference on Very Large Databases (VLDB), 2005, pp. 613\u2013624."},{"key":"10.1016\/j.artint.2012.12.001_br0130","doi-asserted-by":"crossref","unstructured":"D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, M. Mecella, Automatic composition of e-services that export their behavior, in: Proceedings of the International Joint Conference on Service Oriented Computing (ICSOC), 2003, pp. 43\u201358.","DOI":"10.1007\/978-3-540-24593-3_4"},{"issue":"4","key":"10.1016\/j.artint.2012.12.001_br0140","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1142\/S0218843005001201","article-title":"Automatic service composition based on behavioural descriptions","volume":"14","author":"Berardi","year":"2005","journal-title":"International Journal of Cooperative Information Systems"},{"issue":"2","key":"10.1016\/j.artint.2012.12.001_br0150","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1142\/S0129054108005759","article-title":"Automatic service composition via simulation","volume":"19","author":"Berardi","year":"2008","journal-title":"International Journal of Foundations of Computer Science"},{"issue":"3\u20134","key":"10.1016\/j.artint.2012.12.001_br0160","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1016\/j.artint.2009.12.002","article-title":"Automated composition of web services via planning in asynchronous domains","volume":"174","author":"Bertoli","year":"2010","journal-title":"Artificial Intelligence Journal"},{"key":"10.1016\/j.artint.2012.12.001_br0170","doi-asserted-by":"crossref","unstructured":"M. Bordignon, J. Rashid, M. Broxvall, A. Saffiotti, Seamless integration of robots and tiny embedded devices in a PEIS-ecology, in: Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), 2007, pp. 3101\u20133106.","DOI":"10.1109\/IROS.2007.4399282"},{"key":"10.1016\/j.artint.2012.12.001_br0180","doi-asserted-by":"crossref","unstructured":"M. Broxvall, M. Gritti, A. Saffiotti, B.-S. Seo, Y.-J. Cho, PEIS ecology: Integrating robots into smart environments, in: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), 2006, pp. 212\u2013218.","DOI":"10.1109\/ROBOT.2006.1641186"},{"key":"10.1016\/j.artint.2012.12.001_br0190","doi-asserted-by":"crossref","unstructured":"T. Bultan, X. Fu, R. Hull, J. Su, Conversation specification: a new approach to design and analysis of e-service composition, in: Proceedings of the International Conference on World Wide Web (WWW), 2003, pp. 403\u2013410.","DOI":"10.1145\/775152.775210"},{"issue":"3","key":"10.1016\/j.artint.2012.12.001_br0200","first-page":"18","article-title":"Automatic service composition and synthesis: The roman model","volume":"31","author":"Calvanese","year":"2008","journal-title":"IEEE Data Engineering Bulletin"},{"issue":"1\u20132","key":"10.1016\/j.artint.2012.12.001_br0210","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/S0004-3702(02)00374-0","article-title":"Weak, strong, and strong cyclic planning via symbolic model checking","volume":"147","author":"Cimatti","year":"2003","journal-title":"Artificial Intelligence Journal"},{"key":"10.1016\/j.artint.2012.12.001_br0220","series-title":"Logics of Programs","first-page":"52","article-title":"Design and synthesis of synchronization skeletons using branching time temporal logic","volume":"vol. 131","author":"Clarke","year":"1982"},{"key":"10.1016\/j.artint.2012.12.001_br0230","series-title":"Model Checking","author":"Clarke","year":"1999"},{"key":"10.1016\/j.artint.2012.12.001_br0240","doi-asserted-by":"crossref","unstructured":"G. De Giacomo, R. De Masellis, F. Patrizi, Composition of partially observable services exporting their behaviour, in: Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), 2009, pp. 90\u201397.","DOI":"10.1609\/icaps.v19i1.13360"},{"key":"10.1016\/j.artint.2012.12.001_br0250","unstructured":"G. De Giacomo, P. Felli, Agent composition synthesis based on ATL, in: Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), 2010, pp. 499\u2013506."},{"key":"10.1016\/j.artint.2012.12.001_br0260","series-title":"Web Services and Formal Methods, 6th International Workshop, Revised Selected Papers","first-page":"147","article-title":"Automated composition of nondeterministic stateful services","volume":"vol. 6194","author":"De Giacomo","year":"2010"},{"key":"10.1016\/j.artint.2012.12.001_br0270","doi-asserted-by":"crossref","unstructured":"G. De Giacomo, F. Patrizi, P. Felli, S. Sardina, Two-player game structures for generalized planning and agent composition, in: Proceedings of the National Conference on Artificial Intelligence (AAAI), 2010, pp. 297\u2013302.","DOI":"10.1609\/aaai.v24i1.7597"},{"key":"10.1016\/j.artint.2012.12.001_br0280","unstructured":"G. De Giacomo, F. Patrizi, S. Sardina, Agent programming via planning programs, in: Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), May 2010, pp. 491\u2013498."},{"key":"10.1016\/j.artint.2012.12.001_br0290","unstructured":"G. De Giacomo, F. Patrizi, S. Sardina, Generalized planning with loops under strong fairness constraints, in: Proceedings of Principles of Knowledge Representation and Reasoning (KR), 2010, pp. 351\u2013361."},{"key":"10.1016\/j.artint.2012.12.001_br0300","unstructured":"G. De Giacomo, S. Sardina, Automatic synthesis of new behaviors from a library of available behaviors, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2007, pp. 1866\u20131871."},{"issue":"3","key":"10.1016\/j.artint.2012.12.001_br0310","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1016\/j.jcss.2006.10.006","article-title":"Specification and verification of data-driven web applications","volume":"73","author":"Deutsch","year":"2007","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/j.artint.2012.12.001_br0320","series-title":"Reasoning About Knowledge","author":"Fagin","year":"1995"},{"issue":"2","key":"10.1016\/j.artint.2012.12.001_br0330","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/j.automatica.2008.08.008","article-title":"Temporal logic motion planning for dynamic robots","volume":"45","author":"Fainekos","year":"2009","journal-title":"Automatica"},{"key":"10.1016\/j.artint.2012.12.001_br0340","first-page":"193","article-title":"Action languages","volume":"2","author":"Gelfond","year":"1998","journal-title":"Electronic Transactions of AI (ETAI)"},{"key":"10.1016\/j.artint.2012.12.001_br0350","first-page":"62","article-title":"General game playing: Overview of the AAAI competition","volume":"26","author":"Genesereth","year":"2005","journal-title":"AI Magazine"},{"key":"10.1016\/j.artint.2012.12.001_br0360","unstructured":"M.P. Georgeff, A.L. Lansky, Reactive reasoning and planning, in: Proceedings of the National Conference on Artificial Intelligence (AAAI), 1987, pp. 677\u2013682."},{"key":"10.1016\/j.artint.2012.12.001_br0370","doi-asserted-by":"crossref","unstructured":"C.E. Gerede, R. Hull, O.H. Ibarra, J. Su, Automated composition of e-services: Lookaheads, in: Proceedings of the International Joint Conference on Service Oriented Computing (ICSOC), 2004, pp. 252\u2013262.","DOI":"10.1145\/1035167.1035203"},{"key":"10.1016\/j.artint.2012.12.001_br0380","doi-asserted-by":"crossref","unstructured":"C.E. Gerede, O.H. Ibarra, B. Ravikumar, J. Su, Online and minimum-cost ad hoc delegation in e-service composition, in: Proceedings of the IEEE International Conference on Services Computing (SCC), 2005, pp. 103\u2013112.","DOI":"10.1109\/SCC.2005.69"},{"key":"10.1016\/j.artint.2012.12.001_br0390","series-title":"Automated Planning: Theory and Practice","author":"Ghallab","year":"2004"},{"key":"10.1016\/j.artint.2012.12.001_br0400","doi-asserted-by":"crossref","unstructured":"A. Harding, M. Ryan, P.-Y. Schobbens, A new algorithm for strategy synthesis in LTL games, in: Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2005, pp. 477\u2013492.","DOI":"10.1007\/978-3-540-31980-1_31"},{"key":"10.1016\/j.artint.2012.12.001_br0410","doi-asserted-by":"crossref","unstructured":"M.R. Henzinger, T.A. Henzinger, P.W. Kopke, Computing simulations on finite and infinite graphs, in: Proceedings of the Annual Symposium on Foundations of Computer Science (FOCS), 1995, pp. 453\u2013462.","DOI":"10.1109\/SFCS.1995.492576"},{"key":"10.1016\/j.artint.2012.12.001_br0420","doi-asserted-by":"crossref","unstructured":"R. Hull, Web services composition: A story of models, automata, and logics, in: Proceedings of the IEEE International Conference on Services Computing (SCC), 2005, pp. 18\u201319.","DOI":"10.1109\/ICWS.2005.133"},{"key":"10.1016\/j.artint.2012.12.001_br0430","series-title":"Intelligent Information Processing III","first-page":"1","article-title":"Teams in multi-agent systems","volume":"vol. 228","author":"Jarvis","year":"2007"},{"key":"10.1016\/j.artint.2012.12.001_br0440","series-title":"Proceedings of the Formal Methods in Computer Aided Design (FMCAD)","first-page":"117","article-title":"Optimizations for LTL synthesis","author":"Jobstmann","year":"2006"},{"key":"10.1016\/j.artint.2012.12.001_br0450","doi-asserted-by":"crossref","unstructured":"B. Jobstmann, S. Galler, M. Weiglhofer, R. Bloem, Anzu: A tool for property synthesis, in: Proceedings of the International Conference Computer Aided Verification (CAV), 2007, pp. 258\u2013262.","DOI":"10.1007\/978-3-540-73368-3_29"},{"key":"10.1016\/j.artint.2012.12.001_br0460","unstructured":"F. Kabanza, S. Thi\u00e9baux, Search control in planning for temporally extended goals, in: Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), 2005, pp. 130\u2013139."},{"key":"10.1016\/j.artint.2012.12.001_br0470","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/j.ic.2005.01.006","article-title":"Bridging the gap between fair simulation and trace inclusion","volume":"200","author":"Kesten","year":"2005","journal-title":"Information and Computation"},{"key":"10.1016\/j.artint.2012.12.001_br0480","doi-asserted-by":"crossref","unstructured":"H. Kress-Gazit, G.E. Fainekos, G.J. Pappas, Where\u02bcs Waldo? Sensor-based temporal logic motion planning, in: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), 2007, pp. 3116\u20133121.","DOI":"10.1109\/ROBOT.2007.363946"},{"issue":"6","key":"10.1016\/j.artint.2012.12.001_br0490","doi-asserted-by":"crossref","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","article-title":"Temporal-logic-based reactive mission and motion planning","volume":"25","author":"Kress-Gazit","year":"2009","journal-title":"IEEE Transactions on Robotics"},{"key":"10.1016\/j.artint.2012.12.001_br0500","doi-asserted-by":"crossref","unstructured":"O. Kupferman, M.Y. Vardi, Module checking, in: Proceedings of the International Conference Computer Aided Verification (CAV), 1996, pp. 75\u201386.","DOI":"10.1007\/3-540-61474-5_59"},{"issue":"2","key":"10.1016\/j.artint.2012.12.001_br0510","doi-asserted-by":"crossref","first-page":"245","DOI":"10.2307\/421091","article-title":"Church\u02bcs problem revisited","volume":"5","author":"Kupferman","year":"1999","journal-title":"The Bulletin of Symbolic Logic"},{"key":"10.1016\/j.artint.2012.12.001_br0520","doi-asserted-by":"crossref","unstructured":"R. Lundh, L. Karlsson, A. Saffiotti, Plan-based configuration of an ecology of robots, in: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), 2007, pp. 64\u201370.","DOI":"10.1109\/ROBOT.2007.363766"},{"key":"10.1016\/j.artint.2012.12.001_br0530","unstructured":"R. Lundh, L. Karlsson, A. Saffiotti, Automatic configuration of multi-robot systems: Planning for multiple steps, in: Proceedings of the European Conference in Artificial Intelligence (ECAI), 2008, pp. 616\u2013620."},{"key":"10.1016\/j.artint.2012.12.001_br0540","series-title":"Proceedings of the International Conference on Foundations of Software Science and Computational Structures (FOSSACS)","first-page":"395","article-title":"Synthesis from component libraries","volume":"vol. 5504","author":"Lustig","year":"2009"},{"key":"10.1016\/j.artint.2012.12.001_br0550","doi-asserted-by":"crossref","unstructured":"O. Marin, M. Bertier, P. Sens, DARX \u2013 a framework for the fault tolerant support of agent software, in: Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE), 2003, pp. 406\u2013418.","DOI":"10.1109\/ISSRE.2003.1251062"},{"key":"10.1016\/j.artint.2012.12.001_br0560","doi-asserted-by":"crossref","unstructured":"D.L. Martin, M.H. Burstein, D.V. McDermott, S.A. McIlraith, M. Paolucci, K.P. Sycara, D.L. McGuinness, E. Sirin, N. Srinivasan, Bringing semantics to web services with OWL-S, in: Proceedings of the International Conference on World Wide Web (WWW), 2007, pp. 243\u2013277.","DOI":"10.1007\/s11280-007-0033-x"},{"key":"10.1016\/j.artint.2012.12.001_br0570","unstructured":"S.A. McIlraith, T.C. Son, Adapting golog for composition of semantic web services, in: Proceedings of Principles of Knowledge Representation and Reasoning (KR), 2002, pp. 482\u2013496."},{"issue":"2","key":"10.1016\/j.artint.2012.12.001_br0580","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/5254.920599","article-title":"Semantic web services","volume":"16","author":"McIlraith","year":"2001","journal-title":"IEEE Intelligent Systems"},{"key":"10.1016\/j.artint.2012.12.001_br0590","series-title":"Symbolic Model Checking","author":"McMillan","year":"1993"},{"key":"10.1016\/j.artint.2012.12.001_br0600","unstructured":"R. Milner, An algebraic definition of simulation between programs, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 1971, pp. 481\u2013489."},{"issue":"2","key":"10.1016\/j.artint.2012.12.001_br0610","doi-asserted-by":"crossref","DOI":"10.2168\/LMCS-4(2:5)2008","article-title":"A lower bound on web services composition","volume":"4","author":"Muscholl","year":"2008","journal-title":"Logical Methods in Computer Science"},{"key":"10.1016\/j.artint.2012.12.001_br0620","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1613\/jair.1141","article-title":"SHOP2: An HTN planning system","volume":"20","author":"Nau","year":"2003","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"11","key":"10.1016\/j.artint.2012.12.001_br0630","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MC.2007.400","article-title":"Service-oriented computing: State of the art and research challenges","volume":"40","author":"Papazoglou","year":"2007","journal-title":"IEEE Computer"},{"issue":"2","key":"10.1016\/j.artint.2012.12.001_br0640","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/j.robot.2005.09.004","article-title":"Execution monitoring in robotics: A survey","volume":"53","author":"Pettersson","year":"2005","journal-title":"Robotics and Autonomous Systems"},{"key":"10.1016\/j.artint.2012.12.001_br0650","series-title":"Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications (AIMSA)","first-page":"106","article-title":"Planning and monitoring web service composition","volume":"vol. 3192","author":"Pistore","year":"2004"},{"key":"10.1016\/j.artint.2012.12.001_br0660","unstructured":"M. Pistore, A. Marconi, P. Bertoli, P. Traverso, Automated composition of web services by planning at the knowledge level, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2005, pp. 1252\u20131259."},{"key":"10.1016\/j.artint.2012.12.001_br0670","unstructured":"M. Pistore, P. Traverso, Planning as model checking for extended goals in non-deterministic domains, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2001, pp. 479\u2013486."},{"key":"10.1016\/j.artint.2012.12.001_br0680","doi-asserted-by":"crossref","unstructured":"M. Pistore, P. Traverso, P. Bertoli, A. Marconi, Automated synthesis of composite BPEL4WS web services, in: Proceedings of the IEEE International Conference on Web Services (ICWS), 2005, pp. 293\u2013301.","DOI":"10.1109\/ICWS.2005.27"},{"key":"10.1016\/j.artint.2012.12.001_br0690","doi-asserted-by":"crossref","unstructured":"N. Piterman, A. Pnueli, Y. Sa\u02bcar, Synthesis of Reactive (1) Designs, in: Proceedings of the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2006, pp. 364\u2013380.","DOI":"10.1007\/11609773_24"},{"key":"10.1016\/j.artint.2012.12.001_br0700","doi-asserted-by":"crossref","unstructured":"A. Pnueli, R. Rosner, On the synthesis of a reactive module, in: Proceedings of the ACM SIGPLAN\u2013SIGACT Symposium on Principles of Programming Languages (POPL), 1989, pp. 179\u2013190.","DOI":"10.1145\/75277.75293"},{"key":"10.1016\/j.artint.2012.12.001_br0710","doi-asserted-by":"crossref","unstructured":"A. Pnueli, E. Shahar, A platform for combining deductive with algorithmic verification, in: Proceedings of the International Conference Computer Aided Verification (CAV), 1996, pp. 184\u2013195.","DOI":"10.1007\/3-540-61474-5_68"},{"key":"10.1016\/j.artint.2012.12.001_br0720","doi-asserted-by":"crossref","unstructured":"D.V. Pynadath, M. Tambe, N. Chauvat, L. Cavedon, Toward team-oriented programming, in: Proceedings of the International Workshop on Agent Theories, Architectures, and Languages (ATAL), Springer, 2000, pp. 233\u2013247.","DOI":"10.1007\/10719619_17"},{"key":"10.1016\/j.artint.2012.12.001_br0730","series-title":"Proceedings of the International Joint Conference on Service Oriented Computing (ICSOC)","first-page":"38","article-title":"Protocol-based web service composition","volume":"vol. 5364","author":"Ragab Hassen","year":"2008"},{"key":"10.1016\/j.artint.2012.12.001_br0740","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","article-title":"Supervisory control of a class of discrete event processes","volume":"25","author":"Ramadge","year":"1987","journal-title":"SIAM Journal on Control and Optimization"},{"key":"10.1016\/j.artint.2012.12.001_br0750","series-title":"Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World (Agents Breaking Away)","first-page":"42","article-title":"AgentSpeak(L): BDI agents speak out in a logical computable language","volume":"vol. 1038","author":"Rao","year":"1996"},{"key":"10.1016\/j.artint.2012.12.001_br0760","doi-asserted-by":"crossref","unstructured":"A. Saffiotti, M. Broxvall, PEIS ecologies: Ambient intelligence meets autonomous robotics, in: Proceedings of the International Conference on Smart Objects and Ambient Intelligence, 2005, pp. 275\u2013280.","DOI":"10.1145\/1107548.1107615"},{"key":"10.1016\/j.artint.2012.12.001_br0770","unstructured":"S. Sardina, G. De Giacomo, Realizing multiple autonomous agents through scheduling of shared devices, in: Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), 2008, pp. 304\u2013312."},{"key":"10.1016\/j.artint.2012.12.001_br0780","unstructured":"S. Sardina, G. De Giacomo, Composition of ConGolog programs, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2009, pp. 904\u2013910."},{"key":"10.1016\/j.artint.2012.12.001_br0790","unstructured":"S. Sardina, F. Patrizi, G. De Giacomo, Automatic synthesis of a global behavior from multiple distributed behaviors, in: Proceedings of the National Conference on Artificial Intelligence (AAAI), 2007, pp. 1063\u20131069."},{"key":"10.1016\/j.artint.2012.12.001_br0800","unstructured":"S. Sardina, F. Patrizi, G. De Giacomo, Behavior composition in the presence of failure, in: Proceedings of Principles of Knowledge Representation and Reasoning (KR), 2008, pp. 640\u2013650."},{"key":"10.1016\/j.artint.2012.12.001_br0810","unstructured":"M.J. Schoppers, Universal plans for reactive robots in unpredictable environments, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 1987, pp. 1039\u20131046."},{"issue":"4","key":"10.1016\/j.artint.2012.12.001_br0820","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/j.websem.2004.06.005","article-title":"HTN planning for web service composition using SHOP2","volume":"1","author":"Sirin","year":"2004","journal-title":"Journal of Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"10.1016\/j.artint.2012.12.001_br0830","doi-asserted-by":"crossref","unstructured":"S. Sohrabi, N. Prokoshyna, S.A. McIlraith, Web service composition via generic procedures and customizing user preferences, in: Proceedings of the International Semantic Web Conference (ISWC), 2006, pp. 597\u2013611.","DOI":"10.1007\/11926078_43"},{"key":"10.1016\/j.artint.2012.12.001_br0840","series-title":"Conceptual Modeling: Foundations and Applications","first-page":"319","article-title":"Web service composition via the customization of golog programs with user preferences","author":"Sohrabi","year":"2009"},{"key":"10.1016\/j.artint.2012.12.001_br0850","unstructured":"T. Stroeder, M. Pagnucco, Realising deterministic behaviour from multiple non-deterministic behaviours, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2009, pp. 936\u2013941."},{"key":"10.1016\/j.artint.2012.12.001_br0860","volume":"31","year":"2008","journal-title":"IEEE Data Engineering Bulletin"},{"key":"10.1016\/j.artint.2012.12.001_br0870","doi-asserted-by":"crossref","unstructured":"L. Tan, R. Cleaveland, Simulation revisited, in: Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2001, pp. 480\u2013495.","DOI":"10.1007\/3-540-45319-9_33"},{"key":"10.1016\/j.artint.2012.12.001_br0880","series-title":"Advances in Exception Handling Techniques","first-page":"128","article-title":"Exception handling in agent-oriented systems","volume":"vol. 2022","author":"Tripathi","year":"2001"},{"key":"10.1016\/j.artint.2012.12.001_br0890","doi-asserted-by":"crossref","unstructured":"M.Y. Vardi, An automata-theoretic approach to fair realizability and synthesis, in: Proceedings of the International Conference Computer Aided Verification (CAV), 1995, pp. 267\u2013278.","DOI":"10.1007\/3-540-60045-0_56"},{"issue":"3","key":"10.1016\/j.artint.2012.12.001_br0900","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1137\/0325036","article-title":"On the supremal controllable sub-language of a given language","volume":"25","author":"Wonham","year":"1987","journal-title":"SIAM Journal on Control and Optimization"},{"key":"10.1016\/j.artint.2012.12.001_br0910","unstructured":"N. Yadav, S. Sardina, Decision theoretic behavior composition, in: Yolum Tumer, Stone Sonenberg (Eds.), Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), 2011, pp. 575\u2013582."},{"key":"10.1016\/j.artint.2012.12.001_br0920","series-title":"Proceedings of the European Conference on Logics in Artificial Intelligence (JELIA)","first-page":"450","article-title":"Qualitative approximate behavior composition","volume":"vol. 7519","author":"Yadav","year":"2012"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370212001658?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370212001658?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,6,28]],"date-time":"2023-06-28T10:34:05Z","timestamp":1687948445000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370212001658"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3]]},"references-count":92,"alternative-id":["S0004370212001658"],"URL":"https:\/\/doi.org\/10.1016\/j.artint.2012.12.001","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[2013,3]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Automatic behavior composition synthesis","name":"articletitle","label":"Article Title"},{"value":"Artificial Intelligence","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.artint.2012.12.001","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2013 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}