{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,24]],"date-time":"2026-04-24T21:28:10Z","timestamp":1777066090881,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,20]],"date-time":"2019-10-20T00:00:00Z","timestamp":1571529600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,10,20]]},"DOI":"10.1145\/3357766.3359535","type":"proceedings-article","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T18:52:21Z","timestamp":1570733541000},"page":"127-140","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["High-level mission specification for multiple robots"],"prefix":"10.1145","author":[{"given":"Sergio","family":"Garc\u00eda","sequence":"first","affiliation":[{"name":"Chalmers University of Technology, Sweden \/ University of Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Sweden \/ University of Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Menghi","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thorsten","family":"Berger","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Sweden \/ University of Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomas","family":"Bures","sequence":"additional","affiliation":[{"name":"Charles University in Prague, Czechia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,10,20]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2004. PAL Robotics. http:\/\/pal-robotics.com\/.  2004. PAL Robotics. http:\/\/pal-robotics.com\/."},{"key":"e_1_3_2_2_2_1","unstructured":"2017. Bosch Center of AI. https:\/\/www.bosch-ai.com\/.  2017. Bosch Center of AI. https:\/\/www.bosch-ai.com\/."},{"key":"e_1_3_2_2_3_1","volume-title":"Aligning qualitative, real-time, and probabilistic property specification patterns using a structured english grammar. Transactions on Software Engineering","author":"Autili Marco","year":"2015","unstructured":"Marco Autili , Lars Grunske , Markus Lumpe , Patrizio Pelliccione , and Antony Tang . 2015. Aligning qualitative, real-time, and probabilistic property specification patterns using a structured english grammar. Transactions on Software Engineering ( 2015 ). Marco Autili, Lars Grunske, Markus Lumpe, Patrizio Pelliccione, and Antony Tang. 2015. Aligning qualitative, real-time, and probabilistic property specification patterns using a structured english grammar. Transactions on Software Engineering (2015)."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2010.938836"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.104"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2480362.2480693"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2016.06.002"},{"key":"e_1_3_2_2_8_1","volume-title":"Ivano Malavolta, and Patrizio Pelliccione.","author":"Ciccozzi Federico","year":"2016","unstructured":"Federico Ciccozzi , Davide Di Ruscio , Ivano Malavolta, and Patrizio Pelliccione. 2016 . Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems. Journal of IEEE Access ( 2016). Federico Ciccozzi, Davide Di Ruscio, Ivano Malavolta, and Patrizio Pelliccione. 2016. Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems. Journal of IEEE Access (2016)."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/647768.733923"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976794"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1142\/S2301385013500052"},{"key":"e_1_3_2_2_12_1","volume-title":"Principles and Practice of Multi-Agent Systems","author":"Doherty Patrick","unstructured":"Patrick Doherty , Fredrik Heintz , and David Landen . 2012. A Distributed Task Specification Language for Mixed-Initiative Delegation . In Principles and Practice of Multi-Agent Systems , Nirmit Desai, Alan Liu, and Michael Winikoff (Eds.). Springer Berlin Heidelberg . Patrick Doherty, Fredrik Heintz, and David Landen. 2012. A Distributed Task Specification Language for Mixed-Initiative Delegation. In Principles and Practice of Multi-Agent Systems, Nirmit Desai, Alan Liu, and Michael Winikoff (Eds.). Springer Berlin Heidelberg."},{"key":"e_1_3_2_2_13_1","volume-title":"Software Engineering for Resilient Systems, Alexander Romanovsky and Elena A","author":"Dragule Swaib","unstructured":"Swaib Dragule , Bart Meyers , and Patrizio Pelliccione . 2017. A Generated Property Specification Language for Resilient Multirobot Missions . In Software Engineering for Resilient Systems, Alexander Romanovsky and Elena A . Troubitsyna (Eds.). Springer International Publishing , Cham , 45-61. Swaib Dragule, Bart Meyers, and Patrizio Pelliccione. 2017. A Generated Property Specification Language for Resilient Multirobot Missions. In Software Engineering for Resilient Systems, Alexander Romanovsky and Elena A. Troubitsyna (Eds.). Springer International Publishing, Cham, 45-61."},{"key":"e_1_3_2_2_14_1","unstructured":"Eclipse. 2006. Xtext. https:\/\/www.eclipse.org\/Xtext\/.  Eclipse. 2006. Xtext. https:\/\/www.eclipse.org\/Xtext\/."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5650371"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSA.2018.00017"},{"key":"e_1_3_2_2_18_1","unstructured":"Sergio Garcia Patrizio Pelliccione Claudio Menghi Thorsten Berger and Tomas Bures. 2019. PROMISE Implementation. https:\/\/github.com\/SergioGarG\/PROMISE_implementation.  Sergio Garcia Patrizio Pelliccione Claudio Menghi Thorsten Berger and Tomas Bures. 2019. PROMISE Implementation. https:\/\/github.com\/SergioGarG\/PROMISE_implementation."},{"key":"e_1_3_2_2_19_1","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"Gotz Sebastian","unstructured":"Sebastian Gotz , Max Leuthauser , Jan Reimann , Julia Schroeter , Christian Wende , Claas Wilke , and Uwe A\u00dfmann . 2012. A Role-Based Language for Collaborative Robot Applications . In Leveraging Applications of Formal Methods, Verification, and Validation . Springer Berlin Heidelberg . Sebastian Gotz, Max Leuthauser, Jan Reimann, Julia Schroeter, Christian Wende, Claas Wilke, and Uwe A\u00dfmann. 2012. A Role-Based Language for Collaborative Robot Applications. In Leveraging Applications of Formal Methods, Verification, and Validation. Springer Berlin Heidelberg."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914546174"},{"key":"e_1_3_2_2_21_1","volume-title":"International Conference on Robotics and Automation.","author":"Guo Meng","year":"2013","unstructured":"Meng Guo , Karl H Johansson , and Dimos Dimarogonas . 2013 . Revising motion planning under linear temporal logic specifications in partially known workspaces . In International Conference on Robotics and Automation. Meng Guo, Karl H Johansson, and Dimos Dimarogonas. 2013. Revising motion planning under linear temporal logic specifications in partially known workspaces. In International Conference on Robotics and Automation."},{"key":"e_1_3_2_2_22_1","volume-title":"Modeling reactive systems with statecharts: the STATEMATE approach","author":"Harel David","unstructured":"David Harel and Michal Politi . 1998. Modeling reactive systems with statecharts: the STATEMATE approach . McGraw-Hill, Inc. David Harel and Michal Politi. 1998. Modeling reactive systems with statecharts: the STATEMATE approach. McGraw-Hill, Inc."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"crossref","unstructured":"Alan R. Hevner Salvatore T. March Jinsoo Park and Sudha Ram. 2004. Design Science in Information Systems Research. MIS Q. (2004).   Alan R. Hevner Salvatore T. March Jinsoo Park and Sudha Ram. 2004. Design Science in Information Systems Research. MIS Q. (2004).","DOI":"10.2307\/25148625"},{"key":"e_1_3_2_2_24_1","volume-title":"The Logic of Bugs. In Symposium on Foundations of Software Engineering (SIGSOFT '02\/FSE-10)","author":"Holzmann Gerard J.","year":"2002","unstructured":"Gerard J. Holzmann . 2002 . The Logic of Bugs. In Symposium on Foundations of Software Engineering (SIGSOFT '02\/FSE-10) . Gerard J. Holzmann. 2002. The Logic of Bugs. In Symposium on Foundations of Software Engineering (SIGSOFT '02\/FSE-10)."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11840541_68"},{"key":"e_1_3_2_2_26_1","volume-title":"In Game Developers Conference.","author":"Isla D.","year":"2005","unstructured":"D. Isla . 2005 . Handling Complexity in the Halo 2 AI . In In Game Developers Conference. D. Isla. 2005. Handling Complexity in the Halo 2 AI. In In Game Developers Conference."},{"key":"e_1_3_2_2_27_1","unstructured":"Markus Klotzbucher and Herman Bruyninckx. 2012. Coordinating robotic tasks and systems with rFSM statecharts. (2012).  Markus Klotzbucher and Herman Bruyninckx. 2012. Coordinating robotic tasks and systems with rFSM statecharts. (2012)."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2004.1389727"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.943479"},{"key":"e_1_3_2_2_30_1","volume-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems.","author":"MacKenzie Douglas C","year":"1995","unstructured":"Douglas C MacKenzie , Jonathan M Cameron , and Ronald C Arkin . 1995 . Specification and execution of multiagent missions . In IEEE\/RSJ International Conference on Intelligent Robots and Systems. Douglas C MacKenzie, Jonathan M Cameron, and Ronald C Arkin. 1995. Specification and execution of multiagent missions. In IEEE\/RSJ International Conference on Intelligent Robots and Systems."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2010.2042722"},{"key":"e_1_3_2_2_32_1","first-page":"96","article-title":"GR(1) Synthesis for LTL Specification Patterns. In Foundations of Software Engineering (FSE)","author":"Maoz Shahar","year":"2015","unstructured":"Shahar Maoz and Jan Oliver Ringert . 2015 . GR(1) Synthesis for LTL Specification Patterns. In Foundations of Software Engineering (FSE) . ACM , 96 - 106 . Shahar Maoz and Jan Oliver Ringert. 2015. GR(1) Synthesis for LTL Specification Patterns. In Foundations of Software Engineering (FSE). ACM, 96-106.","journal-title":"ACM"},{"key":"e_1_3_2_2_33_1","volume-title":"Spectra: A Specification Language for Reactive Systems. arXiv preprint arXiv:1904.06668","author":"Maoz Shahar","year":"2019","unstructured":"Shahar Maoz and Jan Oliver Ringert . 2019 . Spectra: A Specification Language for Reactive Systems. arXiv preprint arXiv:1904.06668 (2019). Shahar Maoz and Jan Oliver Ringert. 2019. Spectra: A Specification Language for Reactive Systems. arXiv preprint arXiv:1904.06668 (2019)."},{"key":"e_1_3_2_2_34_1","unstructured":"Mauricio Matamoros Caleb Rascon Justin Hart Dirk Holz and Loy van Beek. 2018. RoboCup@Home 2018: Rules and Regulations. http:\/\/www.robocupathome.org\/rules\/2018_rulebook.pdf.  Mauricio Matamoros Caleb Rascon Justin Hart Dirk Holz and Loy van Beek. 2018. RoboCup@Home 2018: Rules and Regulations. http:\/\/www.robocupathome.org\/rules\/2018_rulebook.pdf."},{"key":"e_1_3_2_2_35_1","volume-title":"Multi-Robot LTL Planning Under Uncertainty. In International Symposium on Formal Methods (FM).","author":"Menghi Claudio","year":"2018","unstructured":"Claudio Menghi , Sergio Garc\u00eda , Patrizio Pelliccione , and Jana Tumova . 2018 . Multi-Robot LTL Planning Under Uncertainty. In International Symposium on Formal Methods (FM). Claudio Menghi, Sergio Garc\u00eda, Patrizio Pelliccione, and Jana Tumova. 2018. Multi-Robot LTL Planning Under Uncertainty. In International Symposium on Formal Methods (FM)."},{"key":"e_1_3_2_2_36_1","volume-title":"PsALM: Specification of Dependable Robotic Missions. In International Conference on Software Engineering (ICSE): Companion Proceeedings.","author":"Menghi Claudio","year":"2019","unstructured":"Claudio Menghi , Christos Tsigkanos , Thorsten Berger , and Patrizio Pelliccione . 2019 . PsALM: Specification of Dependable Robotic Missions. In International Conference on Software Engineering (ICSE): Companion Proceeedings. Claudio Menghi, Christos Tsigkanos, Thorsten Berger, and Patrizio Pelliccione. 2019. PsALM: Specification of Dependable Robotic Missions. In International Conference on Software Engineering (ICSE): Companion Proceeedings."},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3195044"},{"key":"e_1_3_2_2_38_1","volume-title":"Simulation, Modeling, and Programming for Autonomous Robots","author":"Nordmann Arne","unstructured":"Arne Nordmann , Nico Hochgeschwender , and Sebastian Wrede . 2014. A survey on domain-specific languages in robotics . In Simulation, Modeling, and Programming for Autonomous Robots . Springer , 195- 206. Arne Nordmann, Nico Hochgeschwender, and Sebastian Wrede. 2014. A survey on domain-specific languages in robotics. In Simulation, Modeling, and Programming for Autonomous Robots. Springer, 195- 206."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/356698.356702"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROMAN.2009.5326209"},{"key":"e_1_3_2_2_41_1","volume-title":"ICRA workshop on open source software 3, 3.2","author":"Quigley Morgan","year":"2009","unstructured":"Morgan Quigley , Ken Conley , Brian Gerkey , Josh Faust , Tully Foote , Jeremy Leibs , Rob Wheeler , and Andrew Y Ng . 2009 . ROS: an opensource Robot Operating System . ICRA workshop on open source software 3, 3.2 (2009), 5. Morgan Quigley, Ken Conley, Brian Gerkey, Josh Faust, Tully Foote, Jeremy Leibs, Rob Wheeler, and Andrew Y Ng. 2009. ROS: an opensource Robot Operating System. ICRA workshop on open source software 3, 3.2 (2009), 5."},{"key":"e_1_3_2_2_42_1","unstructured":"European Union's Horizon 2020 research and innovation programme. 2017. Co4Robots. http:\/\/www.co4robots.eu\/.  European Union's Horizon 2020 research and innovation programme. 2017. Co4Robots. http:\/\/www.co4robots.eu\/."},{"key":"e_1_3_2_2_43_1","unstructured":"PAL Robotics. 2015. TIAGo. http:\/\/tiago.pal-robotics.com\/.  PAL Robotics. 2015. TIAGo. http:\/\/tiago.pal-robotics.com\/."},{"key":"e_1_3_2_2_44_1","volume-title":"Advanced Robotics, 2009. ICAR 2009. International Conference on.","author":"Schlegel C.","unstructured":"C. Schlegel , T. Hassler , A. Lotz , and A. Steck . 2009. Robotic software systems: From code-driven to model-driven designs . In Advanced Robotics, 2009. ICAR 2009. International Conference on. C. Schlegel, T. Hassler, A. Lotz, and A. Steck. 2009. Robotic software systems: From code-driven to model-driven designs. In Advanced Robotics, 2009. ICAR 2009. International Conference on."},{"key":"e_1_3_2_2_45_1","first-page":"2","article-title":"Guest Editor's Introduction","volume":"39","author":"Schmidt Douglas C.","year":"2006","unstructured":"Douglas C. Schmidt . 2006 . Guest Editor's Introduction : Model-Driven Engineering. Computer 39 , 2 (Feb. 2006), 25-31. Douglas C. Schmidt. 2006. Guest Editor's Introduction: Model-Driven Engineering. Computer 39, 2 (Feb. 2006), 25-31.","journal-title":"Model-Driven Engineering. Computer"},{"key":"e_1_3_2_2_46_1","volume-title":"MacDonald","author":"Schwartz Benjamin","year":"2014","unstructured":"Benjamin Schwartz , Ludwig N\u00e4gele , Andreas Angerer , and Bruce A . MacDonald . 2014 . Towards a graphical language for quadrotor missions. CoRR ( 2014). Benjamin Schwartz, Ludwig N\u00e4gele, Andreas Angerer, and Bruce A. MacDonald. 2014. Towards a graphical language for quadrotor missions. CoRR (2014)."},{"key":"e_1_3_2_2_47_1","volume-title":"Luis Paulo Reis, and Eug\u00e9nio Oliveira.","author":"Silva Daniel Castro","year":"2014","unstructured":"Daniel Castro Silva , Pedro Henriques Abreu , Luis Paulo Reis, and Eug\u00e9nio Oliveira. 2014 . Development of a Flexible Language for Mission Description for Multi-robot Missions. Inf. Sci . (2014). Daniel Castro Silva, Pedro Henriques Abreu, Luis Paulo Reis, and Eug\u00e9nio Oliveira. 2014. Development of a Flexible Language for Mission Description for Multi-robot Missions. Inf. Sci. (2014)."},{"key":"e_1_3_2_2_48_1","unstructured":"SPARC. 2016. Robotics 2020 Multi-Annual Roadmap. https:\/\/eu-robotics.net\/sparc\/upload\/about\/files\/H2020-Robotics-Multi-Annual-Roadmap-ICT-2016.pdf.  SPARC. 2016. Robotics 2020 Multi-Annual Roadmap. https:\/\/eu-robotics.net\/sparc\/upload\/about\/files\/H2020-Robotics-Multi-Annual-Roadmap-ICT-2016.pdf."},{"key":"e_1_3_2_2_49_1","volume-title":"2013 IEEE International Conference on Robotics and Biomimetics.","author":"Srinivas S.","unstructured":"S. Srinivas , R. Kermani , K. Kim , Y. Kobayashi , and G. Fainekos . 2013. A graphical language for LTL motion and mission planning . In 2013 IEEE International Conference on Robotics and Biomimetics. S. Srinivas, R. Kermani, K. Kim, Y. Kobayashi, and G. Fainekos. 2013. A graphical language for LTL motion and mission planning. In 2013 IEEE International Conference on Robotics and Biomimetics."},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2047862.2047875"},{"key":"e_1_3_2_2_51_1","unstructured":"Georgia Tech. 2006. MissionLab. https:\/\/www.cc.gatech.edu\/ai\/robotlab\/research\/MissionLab\/.  Georgia Tech. 2006. MissionLab. https:\/\/www.cc.gatech.edu\/ai\/robotlab\/research\/MissionLab\/."},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6630615"},{"key":"e_1_3_2_2_53_1","unstructured":"TypeFox. 2011. Xtend. https:\/\/www.eclipse.org\/xtend\/.  TypeFox. 2011. Xtend. https:\/\/www.eclipse.org\/xtend\/."},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2011.6094884"},{"key":"e_1_3_2_2_55_1","volume-title":"IEEE 18th International Conference on Intelligent Engineering Systems INES 2014. IEEE, 233-238","author":"Vladimir","year":"2014","unstructured":"Vladimir Viyovi?, Mirjam Maksimovi?, and Branko Perisic . 2014 . Sirius: A rapid development of DSM graphical editor . In IEEE 18th International Conference on Intelligent Engineering Systems INES 2014. IEEE, 233-238 . Vladimir Viyovi?, Mirjam Maksimovi?, and Branko Perisic. 2014. Sirius: A rapid development of DSM graphical editor. In IEEE 18th International Conference on Intelligent Engineering Systems INES 2014. IEEE, 233-238."},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/21.108296"},{"key":"e_1_3_2_2_57_1","volume-title":"2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC). 004194-004199","author":"Wei W.","unstructured":"W. Wei , K. Kim , and G. Fainekos . 2016. Extended LTLvis motion planning interface . In 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC). 004194-004199 . W. Wei, K. Kim, and G. Fainekos. 2016. Extended LTLvis motion planning interface. In 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC). 004194-004199."},{"key":"e_1_3_2_2_58_1","unstructured":"Melonee Wise and Tully Foote. 2010. Turtlebot 2. https:\/\/www.turtlebot.com\/turtlebot2\/.  Melonee Wise and Tully Foote. 2010. Turtlebot 2. https:\/\/www.turtlebot.com\/turtlebot2\/."},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.5555\/2349018"},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696978"},{"key":"e_1_3_2_2_61_1","volume-title":"Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems-Volume 1. International Foundation for Autonomous Agents and Multiagent Systems, 79-86","author":"Ziparo Vittorio A","year":"2008","unstructured":"Vittorio A Ziparo , Luca Iocchi , Daniele Nardi , Pier Francesco Palamara , and Hugo Costelha . 2008 . Petri net plans: a formal model for representation and execution of multi-robot plans . In Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems-Volume 1. International Foundation for Autonomous Agents and Multiagent Systems, 79-86 . Vittorio A Ziparo, Luca Iocchi, Daniele Nardi, Pier Francesco Palamara, and Hugo Costelha. 2008. Petri net plans: a formal model for representation and execution of multi-robot plans. In Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems-Volume 1. International Foundation for Autonomous Agents and Multiagent Systems, 79-86."}],"event":{"name":"SLE '19: 12th ACM SIGPLAN International Conference on Software Language Engineering","location":"Athens Greece","acronym":"SLE '19","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3357766.3359535","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3357766.3359535","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:32:57Z","timestamp":1750199577000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3357766.3359535"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,20]]},"references-count":61,"alternative-id":["10.1145\/3357766.3359535","10.1145\/3357766"],"URL":"https:\/\/doi.org\/10.1145\/3357766.3359535","relation":{},"subject":[],"published":{"date-parts":[[2019,10,20]]},"assertion":[{"value":"2019-10-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}