{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T16:07:27Z","timestamp":1774022847518,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,5,19]],"date-time":"2021-05-19T00:00:00Z","timestamp":1621382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["610150"],"award-info":[{"award-number":["610150"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["389792660 TRR 248--CPEC"],"award-info":[{"award-number":["389792660 TRR 248--CPEC"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,5,19]]},"DOI":"10.1145\/3450267.3450548","type":"proceedings-article","created":{"date-parts":[[2021,4,1]],"date-time":"2021-04-01T22:09:05Z","timestamp":1617314945000},"page":"209-220","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Symbolic reach-avoid control of multi-agent systems"],"prefix":"10.1145","author":[{"given":"Rupak","family":"Majumdar","sequence":"first","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaushik","family":"Mallik","sequence":"additional","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mahmoud","family":"Salamati","sequence":"additional","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sadegh","family":"Soudjani","sequence":"additional","affiliation":[{"name":"Newcastle University, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehrdad","family":"Zareian","sequence":"additional","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,5,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-018-9783-9"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_49"},{"key":"e_1_3_2_1_3_1","volume-title":"Principles of model checking","author":"Baier C.","year":"2008","unstructured":"C. Baier and J.-P. Katoen . Principles of model checking . MIT press , 2008 . C. Baier and J.-P. Katoen. Principles of model checking. MIT press, 2008."},{"key":"e_1_3_2_1_4_1","volume-title":"ACC","author":"Bansal S.","year":"2017","unstructured":"S. Bansal , M. Chen , J. F. Fisac , and C. J. Tomlin . Safe sequential path planning of multi-vehicle systems under presence of disturbances and imperfect information . In ACC , 2017 . S. Bansal, M. Chen, J. F. Fisac, and C. J. Tomlin. Safe sequential path planning of multi-vehicle systems under presence of disturbances and imperfect information. In ACC, 2017."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302509.3311052"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1983.6313077"},{"key":"e_1_3_2_1_7_1","first-page":"568","volume-title":"AAMAS","author":"Chen J.","year":"2018","unstructured":"J. Chen , S. Moarref , and H. Kress-Gazit . Verifiable control of robotic swarm from high-level specifications . In AAMAS , pages 568 -- 576 . ACM, 2018 . J. Chen, S. Moarref, and H. Kress-Gazit. Verifiable control of robotic swarm from high-level specifications. In AAMAS, pages 568--576. ACM, 2018."},{"key":"e_1_3_2_1_8_1","volume-title":"Principles of robot motion: theory, algorithms, and implementation","author":"Choset H.M.","year":"2005","unstructured":"H.M. Choset , S. Hutchinson , K.M. Lynch , G. Kantor , W. Burgard , L.E. Kavraki , and S. Thrun . Principles of robot motion: theory, algorithms, and implementation . MIT press , 2005 . H.M. Choset, S. Hutchinson, K.M. Lynch, G. Kantor, W. Burgard, L.E. Kavraki, and S. Thrun. Principles of robot motion: theory, algorithms, and implementation. MIT press, 2005."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055022"},{"key":"e_1_3_2_1_10_1","first-page":"347","volume-title":"CAV","author":"Fan C.","year":"2018","unstructured":"C. Fan , U. Mathur , S. Mitra , and M. Viswanathan . Controller synthesis made real: reach-avoid specifications and linear dynamics . In CAV , pages 347 -- 366 , 2018 . C. Fan, U. Mathur, S. Mitra, and M. Viswanathan. Controller synthesis made real: reach-avoid specifications and linear dynamics. In CAV, pages 347--366, 2018."},{"key":"e_1_3_2_1_11_1","first-page":"629","volume-title":"CAV","author":"Fan C.","year":"2020","unstructured":"C. Fan , K. Miller , and S. Mitra . Fast and guaranteed safe controller synthesis for nonlinear vehicle models . In CAV , pages 629 -- 652 , 2020 . C. Fan, K. Miller, and S. Mitra. Fast and guaranteed safe controller synthesis for nonlinear vehicle models. In CAV, pages 629--652, 2020."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126513"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428300"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263867"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS40897.2019.8967788"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2020.2975956"},{"issue":"4","key":"e_1_3_2_1_17_1","first-page":"566","article-title":"Probabilistic roadmaps for path planning in high-dimensional configuration spaces","volume":"12","author":"Kavraki L.E.","year":"1996","unstructured":"L.E. Kavraki , P. Svestka , J.-C. Latombe , and M.H. Overmars . Probabilistic roadmaps for path planning in high-dimensional configuration spaces . IEEE TRA , 12 ( 4 ): 566 -- 580 , 1996 . L.E. Kavraki, P. Svestka, J.-C. Latombe, and M.H. Overmars. Probabilistic roadmaps for path planning in high-dimensional configuration spaces. IEEE TRA, 12(4):566--580, 1996.","journal-title":"IEEE TRA"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311798"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920943266"},{"key":"e_1_3_2_1_20_1","volume-title":"Cambridge University Press","author":"LaValle S.M.","year":"2006","unstructured":"S.M. LaValle . Planning Algorithms . Cambridge University Press , 2006 . S.M. LaValle. Planning Algorithms. Cambridge University Press, 2006."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.736775"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3012641"},{"key":"e_1_3_2_1_23_1","volume-title":"Multiparty motion coordination: From choreographies to robotics programs (artifact)","author":"Majumdar R.","year":"2020","unstructured":"R. Majumdar , N. Yoshida , and D. Zufferey . Multiparty motion coordination: From choreographies to robotics programs (artifact) , 2020 . R. Majumdar, N. Yoshida, and D. Zufferey. Multiparty motion coordination: From choreographies to robotics programs (artifact), 2020."},{"key":"e_1_3_2_1_24_1","volume-title":"Continuous and discrete abstractions for planning, applied to ship docking","author":"Meyer P.-J","year":"2019","unstructured":"P.-J Meyer , H. Yin , A.H. Brodtkorb , M. Arcak , and A.J. S\u00f8rensen . Continuous and discrete abstractions for planning, applied to ship docking , 2019 . P.-J Meyer, H. Yin, A.H. Brodtkorb, M. Arcak, and A.J. S\u00f8rensen. Continuous and discrete abstractions for planning, applied to ship docking, 2019."},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of the 1995 ASME International Congress and Exposition","author":"Murray R. M.","year":"1995","unstructured":"R. M. Murray , M. Rathinam , and W. Sluis . Differential flatness of mechanical control systems: A catalog of prototype systems . In Proceedings of the 1995 ASME International Congress and Exposition , 1995 . R. M. Murray, M. Rathinam, and W. Sluis. Differential flatness of mechanical control systems: A catalog of prototype systems. In Proceedings of the 1995 ASME International Congress and Exposition, 1995."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.4522"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619142"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00026"},{"issue":"4","key":"e_1_3_2_1_29_1","first-page":"1781","article-title":"Feedback refinement relations for the synthesis of symbolic controllers","volume":"62","author":"Reissig G.","year":"2016","unstructured":"G. Reissig , A. Weber , and M. Rungger . Feedback refinement relations for the synthesis of symbolic controllers . IEEE TAC , 62 ( 4 ): 1781 -- 1796 , 2016 . G. Reissig, A. Weber, and M. Rungger. Feedback refinement relations for the synthesis of symbolic controllers. IEEE TAC, 62(4):1781--1796, 2016.","journal-title":"IEEE TAC"},{"key":"e_1_3_2_1_30_1","volume-title":"ArXiv","author":"Rodionova A.","year":"2020","unstructured":"A. Rodionova , Y. Pant , K. Jang , H. Abbas , and Rahul Mangharam . Learning-to-Fly : Learning-based collision avoidance for scalable urban air mobility . ArXiv , 2020 . A. Rodionova, Y. Pant, K. Jang, H. Abbas, and Rahul Mangharam. Learning-to-Fly: Learning-based collision avoidance for scalable urban air mobility. ArXiv, 2020."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883834"},{"key":"e_1_3_2_1_32_1","volume-title":"Pearson Education","author":"Russell S.J.","year":"2010","unstructured":"S.J. Russell and P. Norvig . Artificial Intelligence - A Modern Approach . Pearson Education , 2010 . S.J. Russell and P. Norvig. Artificial Intelligence - A Modern Approach. Pearson Education, 2010."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2016.7479105"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055021"},{"key":"e_1_3_2_1_35_1","first-page":"545","volume-title":"WAFR","author":"Singh S.","year":"2018","unstructured":"S. Singh , M. Chen , S.L. Herbert , C.J. Tomlin , and M. Pavone . Robust tracking with model mismatch for fast and safe planning: an SOS optimization approach . In WAFR , pages 545 -- 564 , 2018 . S. Singh, M. Chen, S.L. Herbert, C.J. Tomlin, and M. Pavone. Robust tracking with model mismatch for fast and safe planning: an SOS optimization approach. In WAFR, pages 545--564, 2018."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619113"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794477"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910369189"},{"issue":"11","key":"e_1_3_2_1_39_1","first-page":"2817","article-title":"Receding horizon temporal logic planning","volume":"57","author":"Wongpiromsarn T.","year":"2012","unstructured":"T. Wongpiromsarn , U. Topcu , and R.M. Murray . Receding horizon temporal logic planning . IEEE TAC , 57 ( 11 ): 2817 -- 2830 , 2012 . T. Wongpiromsarn, U. Topcu, and R.M. Murray. Receding horizon temporal logic planning. IEEE TAC, 57(11):2817--2830, 2012.","journal-title":"IEEE TAC"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147805"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2019.8917473"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263719"}],"event":{"name":"ICCPS '21: ACM\/IEEE 12th International Conference on Cyber-Physical Systems","location":"Nashville Tennessee","acronym":"ICCPS '21","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","IEEE-CS\\TCRT TC on Real-Time Systems"]},"container-title":["Proceedings of the ACM\/IEEE 12th International Conference on Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3450267.3450548","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3450267.3450548","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:46:59Z","timestamp":1750193219000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3450267.3450548"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,19]]},"references-count":42,"alternative-id":["10.1145\/3450267.3450548","10.1145\/3450267"],"URL":"https:\/\/doi.org\/10.1145\/3450267.3450548","relation":{},"subject":[],"published":{"date-parts":[[2021,5,19]]},"assertion":[{"value":"2021-05-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}