{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T01:56:57Z","timestamp":1767923817398,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,23]]},"DOI":"10.1145\/3550356.3559090","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T18:13:20Z","timestamp":1668017600000},"page":"37-41","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["A tool for the automation of efficient multi-robot choreography planning and execution"],"prefix":"10.1145","author":[{"given":"Eric","family":"Wete","sequence":"first","affiliation":[{"name":"Leibniz Universit\u00e4t Hannover - Volkswagen AG, Hannover - Wolfsburg, Germany"}]},{"given":"Joel","family":"Greenyer","sequence":"additional","affiliation":[{"name":"FHDW Hannover, Hannover, Germany"}]},{"given":"Daniel","family":"Kudenko","sequence":"additional","affiliation":[{"name":"Leibniz Universit\u00e4t Hannover, Hannover, Germany"}]},{"given":"Wolfgang","family":"Nejdl","sequence":"additional","affiliation":[{"name":"Leibniz Universit\u00e4t Hannover, Hannover, Germany"}]},{"given":"Oliver","family":"Flegel","sequence":"additional","affiliation":[{"name":"Volkswagen AG, Wolfsburg, Germany"}]},{"given":"Dennes","family":"Eisner","sequence":"additional","affiliation":[{"name":"Volkswagen AG, Wolfsburg, Germany"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989581"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139869"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"e_1_3_2_1_4_1","volume-title":"Computers and Games, H. Jaap van den Herik, Paolo Ciancarini, and H. H. L. M. (Jeroen) Donkers (Eds.)","author":"Coulom R\u00e9mi","unstructured":"R\u00e9mi Coulom . 2007. Efficient Selectivity and Backup Operators in Monte-Carlo Tree Search . In Computers and Games, H. Jaap van den Herik, Paolo Ciancarini, and H. H. L. M. (Jeroen) Donkers (Eds.) . Springer Berlin Heidelberg , Berlin, Heidelberg , 72--83. R\u00e9mi Coulom. 2007. Efficient Selectivity and Backup Operators in Monte-Carlo Tree Search. In Computers and Games, H. Jaap van den Herik, Paolo Ciancarini, and H. H. L. M. (Jeroen) Donkers (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 72--83."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2093548.2093574"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2011.03.007"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSSC.1968.300136"},{"key":"e_1_3_2_1_8_1","volume-title":"Hardware and Software: Verification and Testing","author":"Klein Uri","unstructured":"Uri Klein and Amir Pnueli . 2011. Revisiting Synthesis of GR(1) Specifications . In Hardware and Software: Verification and Testing , Sharon Barner, Ian Harris, Daniel Kroening, and Orna Raz (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 161--181. Uri Klein and Amir Pnueli. 2011. Revisiting Synthesis of GR(1) Specifications. In Hardware and Software: Verification and Testing, Sharon Barner, Ian Harris, Daniel Kroening, and Orna Raz (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 161--181."},{"key":"e_1_3_2_1_9_1","volume-title":"Machine Learning: ECML","author":"Kocsis Levente","year":"2006","unstructured":"Levente Kocsis and Csaba Szepesv\u00e1ri . 2006. Bandit Based Monte-Carlo Planning . In Machine Learning: ECML 2006 , Johannes F\u00fcrnkranz, Tobias Scheffer , and Myra Spiliopoulou (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 282--293. Levente Kocsis and Csaba Szepesv\u00e1ri. 2006. Bandit Based Monte-Carlo Planning. In Machine Learning: ECML 2006, Johannes F\u00fcrnkranz, Tobias Scheffer, and Myra Spiliopoulou (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 282--293."},{"key":"e_1_3_2_1_10_1","volume-title":"Rapidly-exploring random trees : a new tool for path planning. The annual research report","author":"LaValle Steven M.","year":"1998","unstructured":"Steven M. LaValle . 1998. Rapidly-exploring random trees : a new tool for path planning. The annual research report ( 1998 ). Steven M. LaValle. 1998. Rapidly-exploring random trees : a new tool for path planning. The annual research report (1998)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950300"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00868-z"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416557"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCIAIG.2010.2083662"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2016.XII.004"},{"key":"e_1_3_2_1_16_1","volume-title":"Synthesis of Reactive(1) Designs","author":"Piterman Nir","unstructured":"Nir Piterman , Amir Pnueli , and Yaniv Sa'ar . 2006. Synthesis of Reactive(1) Designs . In Verification, Model Checking, and Abstract Interpretation, E. Allen Emerson and Kedar S. Namjoshi (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 364--380. Nir Piterman, Amir Pnueli, and Yaniv Sa'ar. 2006. Synthesis of Reactive(1) Designs. In Verification, Model Checking, and Abstract Interpretation, E. Allen Emerson and Kedar S. Namjoshi (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 364--380."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC45102.2020.9294336"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature16961"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/EIECS53707.2021.9588002"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS50736.2021.00039"}],"event":{"name":"MODELS '22: ACM\/IEEE 25th International Conference on Model Driven Engineering Languages and Systems","location":"Montreal Quebec Canada","acronym":"MODELS '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Univ. of Montreal University of Montreal","IEEE CS"]},"container-title":["Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550356.3559090","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3550356.3559090","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:09Z","timestamp":1750183689000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550356.3559090"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,23]]},"references-count":21,"alternative-id":["10.1145\/3550356.3559090","10.1145\/3550356"],"URL":"https:\/\/doi.org\/10.1145\/3550356.3559090","relation":{},"subject":[],"published":{"date-parts":[[2022,10,23]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}