{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T17:03:29Z","timestamp":1780765409085,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,15]],"date-time":"2020-11-15T00:00:00Z","timestamp":1605398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and AliceWallenberg Foundation"},{"name":"SIDA project BRIGHT","award":["317"],"award-info":[{"award-number":["317"]}]},{"name":"EU H2020 project ROSIN","award":["732287"],"award-info":[{"award-number":["732287"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,16]]},"DOI":"10.1145\/3426425.3426942","type":"proceedings-article","created":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T01:19:49Z","timestamp":1606267189000},"page":"196-209","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":62,"title":["Behavior trees in action: a study of robotics applications"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5428-8113","authenticated-orcid":false,"given":"Razan","family":"Ghzouli","sequence":"first","affiliation":[{"name":"Chalmers University of Technology, Sweden \/ University of Gothenburg, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thorsten","family":"Berger","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Sweden \/ University of Gothenburg, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[{"name":"University of Oslo, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Swaib","family":"Dragule","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Sweden \/ University of Gothenburg, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrzej","family":"W\u0105sowski","sequence":"additional","affiliation":[{"name":"IT University of Copenhagen, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,11,15]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2020. Online Appendix. htps:\/\/bitbucket.org\/easelab\/behaviortrees.  2020. Online Appendix. htps:\/\/bitbucket.org\/easelab\/behaviortrees."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3195836.3195853"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2012.6385888"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"crossref","unstructured":"Nelly Bencomo Robert B. France Betty H. C. Cheng and Uwe A\u00df-mann (Eds.). 2014. Models@run.time-Foundations Applications and Roadmaps. Vol. 8378. Springer.  Nelly Bencomo Robert B. France Betty H. C. Cheng and Uwe A\u00df-mann (Eds.). 2014. Models@run.time-Foundations Applications and Roadmaps. Vol. 8378. Springer.","DOI":"10.1007\/978-3-319-08915-7"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"crossref","unstructured":"Gordon Blair Nelly Bencomo and Robert B France. 2009. Models@run.time. IEEE Computer 42 10 ( 2009 ) 22-27.  Gordon Blair Nelly Bencomo and Robert B France. 2009. Models@run.time. IEEE Computer 42 10 ( 2009 ) 22-27.","DOI":"10.1109\/MC.2009.326"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2010.938836"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22000-5_18"},{"key":"e_1_3_2_2_8_1","volume-title":"Development and Composition of Robot Architecture in Dynamic Environment. In International Conference on Robotics, Control and Automation Engineering (RCAE).","author":"Chen Juan","year":"2018","unstructured":"Juan Chen and DianXi Shi . 2018 . Development and Composition of Robot Architecture in Dynamic Environment. In International Conference on Robotics, Control and Automation Engineering (RCAE). Juan Chen and DianXi Shi. 2018. Development and Composition of Robot Architecture in Dynamic Environment. In International Conference on Robotics, Control and Automation Engineering (RCAE)."},{"key":"e_1_3_2_2_10_1","unstructured":"Michele Colledanchise. 2017. BT++ library Documentation. htps:\/\/github.com\/miccol\/ROS-Behavior-Tree\/blob\/master\/ BTUserManual.pdf.  Michele Colledanchise. 2017. BT++ library Documentation. htps:\/\/github.com\/miccol\/ROS-Behavior-Tree\/blob\/master\/ BTUserManual.pdf."},{"key":"e_1_3_2_2_11_1","volume-title":"47th International Symposium on Robotics (ISR).","author":"Colledanchise Michele","year":"2016","unstructured":"Michele Colledanchise , Alejandro Marzinotto , Dimos V Dimarogonas , and Petter Oegren . 2016 . The advantages of using behavior trees in multi robot systems . In 47th International Symposium on Robotics (ISR). Michele Colledanchise, Alejandro Marzinotto, Dimos V Dimarogonas, and Petter Oegren. 2016. The advantages of using behavior trees in multi robot systems. In 47th International Symposium on Robotics (ISR)."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6942752"},{"key":"e_1_3_2_2_13_1","article-title":"How behavior trees modularize hybrid control systems and generalize sequential behavior compositions, the subsumption architecture, and decision trees","volume":"33","author":"Colledanchise Michele","year":"2016","unstructured":"Michele Colledanchise and Petter \u00d6gren . 2016 . How behavior trees modularize hybrid control systems and generalize sequential behavior compositions, the subsumption architecture, and decision trees . IEEE Transactions on robotics 33 , 2 ( 2016 ), 372-389. Michele Colledanchise and Petter \u00d6gren. 2016. How behavior trees modularize hybrid control systems and generalize sequential behavior compositions, the subsumption architecture, and decision trees. IEEE Transactions on robotics 33, 2 ( 2016 ), 372-389.","journal-title":"IEEE Transactions on robotics"},{"key":"e_1_3_2_2_14_1","volume-title":"Behavior Trees in Robotics and Al: An Introduction","author":"Colledanchise Michele","unstructured":"Michele Colledanchise and Petter \u00d6gren . 2018. Behavior Trees in Robotics and Al: An Introduction . CRC Press . Michele Colledanchise and Petter \u00d6gren. 2018. Behavior Trees in Robotics and Al: An Introduction. CRC Press."},{"key":"e_1_3_2_2_15_1","article-title":"Learning of behavior trees for autonomous agents","volume":"11","author":"Colledanchise Michele","year":"2018","unstructured":"Michele Colledanchise , Ramviyas Parasuraman , and Petter \u00d6gren . 2018 . Learning of behavior trees for autonomous agents . IEEE Transactions on Games 11 , 2 ( 2018 ), 183-189. Michele Colledanchise, Ramviyas Parasuraman, and Petter \u00d6gren. 2018. Learning of behavior trees for autonomous agents. IEEE Transactions on Games 11, 2 ( 2018 ), 183-189.","journal-title":"IEEE Transactions on Games"},{"key":"e_1_3_2_2_16_1","volume-title":"Design of a Separable Transition-Diagram Compiler. Commun. ACM 6, 7 (","author":"Conway Melvin E.","year":"1963","unstructured":"Melvin E. Conway . 1963. Design of a Separable Transition-Diagram Compiler. Commun. ACM 6, 7 ( July 1963 ), 396-408. Melvin E. Conway. 1963. Design of a Separable Transition-Diagram Compiler. Commun. ACM 6, 7 ( July 1963 ), 396-408."},{"key":"e_1_3_2_2_17_1","volume-title":"Introduction to algorithms","author":"Cormen Thomas H","unstructured":"Thomas H Cormen , Charles E Leiserson , Ronald L Rivest , and Cliford Stein . 2009. Introduction to algorithms . MIT press . Appendix B.5.3 pages. Thomas H Cormen, Charles E Leiserson, Ronald L Rivest, and Cliford Stein. 2009. Introduction to algorithms. MIT press. Appendix B.5.3 pages."},{"key":"e_1_3_2_2_18_1","volume-title":"Structured Programming, O.-J","author":"Dahl O.-J.","unstructured":"O.-J. Dahl and C.A.R. Hoare . 1972. Hierarchical Program Structures . In Structured Programming, O.-J . Dahl, E. W. Dijkstra, and C.A.R. Hoare (Eds.). Academic Press . O.-J. Dahl and C.A.R. Hoare. 1972. Hierarchical Program Structures. In Structured Programming, O.-J. Dahl, E. W. Dijkstra, and C.A.R. Hoare (Eds.). Academic Press."},{"key":"e_1_3_2_2_19_1","volume-title":"An Exploratory Study of Cloning in Industrial Software Product Lines. In 17th European Conference on Software Maintenance and Reengineering (CSMR).","author":"Dubinsky Yael","year":"2013","unstructured":"Yael Dubinsky , Julia Rubin , Thorsten Berger , Slawomir Duszynski , Martin Becker , and Krzysztof Czarnecki . 2013 . An Exploratory Study of Cloning in Industrial Software Product Lines. In 17th European Conference on Software Maintenance and Reengineering (CSMR). Yael Dubinsky, Julia Rubin, Thorsten Berger, Slawomir Duszynski, Martin Becker, and Krzysztof Czarnecki. 2013. An Exploratory Study of Cloning in Industrial Software Product Lines. In 17th European Conference on Software Maintenance and Reengineering (CSMR)."},{"key":"e_1_3_2_2_20_1","unstructured":"Davide Faconti. 2019. MOOD2Be: Models and Tools to design Robotic Behaviors. htps:\/\/github.com\/BehaviorTree\/BehaviorTree.CPP\/blob\/ master\/MOOD2Be_final_report.pdf  Davide Faconti. 2019. MOOD2Be: Models and Tools to design Robotic Behaviors. htps:\/\/github.com\/BehaviorTree\/BehaviorTree.CPP\/blob\/ master\/MOOD2Be_final_report.pdf"},{"key":"e_1_3_2_2_21_1","unstructured":"Davide Faconti and Michele Colledanchise. 2018. BehaviorTree.CPP library Documentation. htps:\/\/www.behaviortree.dev.  Davide Faconti and Michele Colledanchise. 2018. BehaviorTree.CPP library Documentation. htps:\/\/www.behaviortree.dev."},{"key":"e_1_3_2_2_22_1","unstructured":"Epic Games. 2020. Unreal Engine 4 Behavior Tree library Documentation. htps:\/\/docs.unrealengine.com\/en-US\/Engine\/ ArtificialIntelligence\/BehaviorTrees\/BehaviorTreeUserGuide\/index. html.  Epic Games. 2020. Unreal Engine 4 Behavior Tree library Documentation. htps:\/\/docs.unrealengine.com\/en-US\/Engine\/ ArtificialIntelligence\/BehaviorTrees\/BehaviorTreeUserGuide\/index. html."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3357766.3359535"},{"key":"e_1_3_2_2_24_1","volume-title":"PROMISE: High-Level Mission Specification for Multiple Robots. In 42nd International Conference on Software Engineering (ICSE), Demonstrations Track.","author":"Garcia Sergio","year":"2020","unstructured":"Sergio Garcia , Patrizio Pelliccione , Claudio Menghi , Thorsten Berger , and Tomas Bures . 2020 . PROMISE: High-Level Mission Specification for Multiple Robots. In 42nd International Conference on Software Engineering (ICSE), Demonstrations Track. Sergio Garcia, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, and Tomas Bures. 2020. PROMISE: High-Level Mission Specification for Multiple Robots. In 42nd International Conference on Software Engineering (ICSE), Demonstrations Track."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409743"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302333.3302350"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"crossref","unstructured":"Object Management Group. 2017. OMG Unified Modeling Language 2.5.1. htps:\/\/www.omg.org\/spec\/UML\/  Object Management Group. 2017. OMG Unified Modeling Language 2.5.1. htps:\/\/www.omg.org\/spec\/UML\/","DOI":"10.1016\/B978-1-78548-171-0.50001-3"},{"key":"e_1_3_2_2_28_1","first-page":"231","volume-title":"Statecharts: A visual formalism for complex systems. Science of computer programming 8, 3 ( 1987 )","author":"Harel David","year":"1987","unstructured":"David Harel . 1987 . Statecharts: A visual formalism for complex systems. Science of computer programming 8, 3 ( 1987 ) , 231 - 274 . David Harel. 1987. Statecharts: A visual formalism for complex systems. Science of computer programming 8, 3 ( 1987 ), 231-274."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITW.2010.5593345"},{"key":"e_1_3_2_2_30_1","volume-title":"A Survey of Behavior Trees in Robotics and AI. arXiv preprint arXiv","author":"Iovino Matteo","year":"2005","unstructured":"Matteo Iovino , Edvards Scukins , Jonathan Styrud , Petter \u00d6gren , and Christian Smith . 2020. A Survey of Behavior Trees in Robotics and AI. arXiv preprint arXiv : 2005 . 05842 ( 2020 ). Matteo Iovino, Edvards Scukins, Jonathan Styrud, Petter \u00d6gren, and Christian Smith. 2020. A Survey of Behavior Trees in Robotics and AI. arXiv preprint arXiv: 2005. 05842 ( 2020 )."},{"key":"e_1_3_2_2_31_1","volume-title":"GDC 2005 Proceedings ( 2005 ). htps:\/\/www.gamasutra.com\/view\/feature\/130663\/ gdc_2005_proceeding_handling_. php?page=2","author":"Isla Damian","year":"2005","unstructured":"Damian Isla . 2005 . Handling complexity in the Halo 2 AI . GDC 2005 Proceedings ( 2005 ). htps:\/\/www.gamasutra.com\/view\/feature\/130663\/ gdc_2005_proceeding_handling_. php?page=2 Damian Isla. 2005. Handling complexity in the Halo 2 AI. GDC 2005 Proceedings ( 2005 ). htps:\/\/www.gamasutra.com\/view\/feature\/130663\/ gdc_2005_proceeding_handling_. php?page=2"},{"key":"e_1_3_2_2_32_1","volume-title":"ABS: A Core Language for Abstract Behavioral Specification. In 9th International Symposium on Formal Methods for Components and Objects (FMCO ).","author":"Johnsen Einar Broch","year":"2010","unstructured":"Einar Broch Johnsen , Reiner H\u00e4hnle , Jan Sch\u00e4fer , Rudolf Schlatte , and Martin Stefen . 2010 . ABS: A Core Language for Abstract Behavioral Specification. In 9th International Symposium on Formal Methods for Components and Objects (FMCO ). Einar Broch Johnsen, Reiner H\u00e4hnle, Jan Sch\u00e4fer, Rudolf Schlatte, and Martin Stefen. 2010. ABS: A Core Language for Abstract Behavioral Specification. In 9th International Symposium on Formal Methods for Components and Objects (FMCO )."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"crossref","unstructured":"Andreas Kl\u00f6ckner. 2013. Interfacing behavior trees with the world using description logic. In AIAA Guidance Navigation and Control Conference (GNC).  Andreas Kl\u00f6ckner. 2013. Interfacing behavior trees with the world using description logic. In AIAA Guidance Navigation and Control Conference (GNC).","DOI":"10.2514\/6.2013-4636"},{"key":"e_1_3_2_2_34_1","volume-title":"Carlo Ghezzi, and Thorsten Berger","author":"Menghi Claudio","year":"2019","unstructured":"Claudio Menghi , Christos Tsigkanos , Patrizio Pelliccione , Carlo Ghezzi, and Thorsten Berger . 2019 . Specification Patterns for Robotic Missions. IEEE Transactions on Software Engineering ( 2019 ). preprint. Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, and Thorsten Berger. 2019. Specification Patterns for Robotic Missions. IEEE Transactions on Software Engineering ( 2019 ). preprint."},{"key":"e_1_3_2_2_35_1","volume-title":"Artificial intelligence for games","author":"Millington Ian","unstructured":"Ian Millington and John Funge . 2009. Artificial intelligence for games . CRC Press . Ian Millington and John Funge. 2009. Artificial intelligence for games. CRC Press."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"crossref","unstructured":"Petter \u00d6gren. 2012. Increasing modularity of UAV control systems using computer game behavior trees. In AIAA Guidance Navigation and Control Conference (GNC).  Petter \u00d6gren. 2012. Increasing modularity of UAV control systems using computer game behavior trees. In AIAA Guidance Navigation and Control Conference (GNC).","DOI":"10.2514\/6.2012-4458"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2017.8206598"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2016.7487442"},{"key":"e_1_3_2_2_39_1","unstructured":"Daniel Stonier Naveed Usmani and Michal Staniaszek. 2020. Py Trees library Documentation. htps:\/\/py-trees.readthedocs.io\/en\/ devel\/background.html.  Daniel Stonier Naveed Usmani and Michal Staniaszek. 2020. Py Trees library Documentation. htps:\/\/py-trees.readthedocs.io\/en\/ devel\/background.html."},{"key":"e_1_3_2_2_40_1","unstructured":"Daniel Stonier Naveed Usmani and Michal Staniaszek. 2020. Py Trees ROS library Documentation. htp:\/\/docs.ros.org\/kinetic\/api\/py_trees_ros\/html\/index.html.  Daniel Stonier Naveed Usmani and Michal Staniaszek. 2020. Py Trees ROS library Documentation. htp:\/\/docs.ros.org\/kinetic\/api\/py_trees_ros\/html\/index.html."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336316"}],"event":{"name":"SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity","location":"Virtual USA","acronym":"SPLASH '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426425.3426942","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3426425.3426942","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:33Z","timestamp":1750195893000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426425.3426942"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,15]]},"references-count":40,"alternative-id":["10.1145\/3426425.3426942","10.1145\/3426425"],"URL":"https:\/\/doi.org\/10.1145\/3426425.3426942","relation":{},"subject":[],"published":{"date-parts":[[2020,11,15]]},"assertion":[{"value":"2020-11-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}