References

Core References

• Giuseppe De Giacomo, Massimo Mecella, Fabio Patrizi: Automated Service Composition Based on Behaviors: The Roman Model. Web Services Foundations 2014: 189-214
• Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña: Automatic behavior composition synthesis. Artificial Intelligence 196: 106-142 (2013)
• Giuseppe De Giacomo, Alfonso Emilio Gerevini, Fabio Patrizi, Alessandro Saetti, Sebastian Sardiña: Agent planning programs. Artificial Intelligence 231: 64-106 (2016).
• 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
• Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: Automatic Composition of E-services That Export Their Behavior. ICSOC 2003: 43-58

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

Agent Planning Programs

• Federico Falcone, Alfonso Emilio Gerevini, Alessandro Saetti: On Realizing Planning Programs in Domains with Dead-End States. SOCS 2017: 20-28
• Lukás Chrpa, Nir Lipovetzky, Sebastian Sardiña: Handling non-local dead-ends in Agent Planning Programs. IJCAI 2017: 971-978
• Giuseppe De Giacomo, Alfonso Emilio Gerevini, Fabio Patrizi, Alessandro Saetti, Sebastian Sardiña: Agent planning programs. Artificial Intelligence 231: 64-106 (2016).
• 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

Other Extensions

• 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

Applications: Web Service Composition & Manufacturing

• 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
• 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
• Giuseppe De Giacomo, Massimo Mecella, Fabio Patrizi: Automated Service Composition Based on Behaviors: The Roman Model. Web Services Foundations 2014: 189-214
• Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev: Process Plan Controllers for Non-Deterministic Manufacturing Systems. IJCAI 2017: 1023-1030
• Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan: Synthesis of Orchestrations of Transducers for Manufacturing. AAAI 2018: 6161-6168
• Paolo Felli, Brian Logan, Sebastian Sardiña: Parallel Behavior Composition for Manufacturing. IJCAI 2016: 271-278.
• Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev: Composite Capabilities for Cloud Manufacturing. AAMAS 2018: 1809-1811

Other Related Work

• Paolo Felli, Nitin Yadav, Sebastian Sardiña: Supervisory Control for Behavior Composition. IEEE Trans. Automat. Contr.62(2): 986-991 (2017)
• 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)