References
Core References
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña: Automatic behavior composition synthesis. Artificial Intelligence 196: 106-142 (2013)
Yoad Lustig, Moshe Y. Vardi: Synthesis from component libraries. STTT 15(5-6): 603-618 (2013)
Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardiña: Two-Player Game Structures for Generalized Planning and Agent Composition. AAAI 2010
Thomas Ströder, Maurice Pagnucco: Realising Deterministic Behavior from Multiple Non-Deterministic Behaviors. IJCAI 2009: 936-941
Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo: Behavior Composition in the Presence of Failure. KR 2008: 640-650
Giuseppe De Giacomo, Sebastian Sardiña: Automatic Synthesis of New Behaviors from a Library of Available Behaviors. IJCAI 2007: 1866-1871
Approximations
Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardiña: Supremal Realizability of Behaviors with Uncontrollable Exogenous Events. IJCAI 2013
Nitin Yadav, Sebastian Sardiña: Qualitative Approximate Behavior Composition. JELIA 2012: 450-462
Nitin Yadav, Sebastian Sardiña: Decision theoretic behavior composition. AAMAS 2011:575-582
Extensions
Alfonso Gerevini, Fabio Patrizi, Alessandro Saetti: An Effective Approach to Realizing Planning Programs. ICAPS 2011
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña: Agent programming via planning programs. AAMAS 2010: 491-498
Sebastian Sardiña, Giuseppe De Giacomo: Realizing Multiple Autonomous Agents through Scheduling of Shared Devices. ICAPS 2008: 304-312
Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo: Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. AAAI 2007: 1063-1069
Giuseppe De Giacomo, Paolo Felli: Agent composition synthesis based on ATL. AAMAS 2010: 499-506
Giuseppe De Giacomo, Riccardo De Masellis, Fabio Patrizi: Composition of Partially Observable Services Exporting their Behaviour. ICAPS 2009
Miquel Ramírez, Nitin Yadav, Sebastian Sardiña: Behavior Composition as Fully Observable Non-Deterministic Planning. ICAPS 2013
Service Composition & Applications
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: Automatic Composition of E-services That Export Their Behavior. ICSOC 2003: 43-58
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella: Automatic Composition of Transition-based Semantic Web Services with Messaging. VLDB 2005: 613-624
Giuseppe De Giacomo, Massimo Mecella, Fabio Patrizi: Automated Service Composition Based on Behaviors: The Roman Model. Web Services Foundations 2014: 189-214
Mario Caruso, Claudio Di Ciccio, Ettore Iacomussi, Eirini Kaldeli, Alexander Lazovik, Massimo Mecella: Service Ecologies for Home/Building Automation. SyRoCo 2012: 467-472
Giuseppe De Giacomo, Claudio Di Ciccio, Paolo Felli, Yuxiao Hu, Massimo Mecella: Goal-Based Composition of Stateful Services for Smart Homes. OTM Conferences (1) 2012: 194-211
Other Related Work
Sifakis, J.: A framework for component-based construction - Extended abstract. In: Proc. 3rd Int. Conf. on Software Engineering and Formal Methods (SEFM 2005), IEEE Computer Society (2005) 293–300
de Alfaro, L., Henzinger, T.: Interface-based design. In Broy, M., Grunbauer, J., Harel, D., ¨ Hoare, C., eds.: Engineering Theories of Software-intensive Systems. NATO Science Series: Mathematics, Physics, and Chemistry 195, Springer (2005) 83–104
Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar: Synthesis of Reactive(1) designs. J. Comput. Syst. Sci. 78(3): 911-938 (2012)