{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:09Z","timestamp":1750220949205,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T00:00:00Z","timestamp":1555372800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100010663","name":"European Research Council","doi-asserted-by":"publisher","award":["610150"],"award-info":[{"award-number":["610150"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["389792660-TRR 248"],"award-info":[{"award-number":["389792660-TRR 248"]}],"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":[[2019,4,16]]},"DOI":"10.1145\/3302509.3311052","type":"proceedings-article","created":{"date-parts":[[2019,4,4]],"date-time":"2019-04-04T18:38:43Z","timestamp":1554403123000},"page":"57-66","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["PGCD"],"prefix":"10.1145","author":[{"given":"Gregor B.","family":"Banusi\u0107","sequence":"first","affiliation":[{"name":"MPI-SWS"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rupak","family":"Majumdar","sequence":"additional","affiliation":[{"name":"MPI-SWS"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcus","family":"Pirron","sequence":"additional","affiliation":[{"name":"MPI-SWS"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anne-Kathrin","family":"Schmuck","sequence":"additional","affiliation":[{"name":"MPI-SWS"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damien","family":"Zufferey","sequence":"additional","affiliation":[{"name":"MPI-SWS"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,4,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2005.10.004"},{"key":"e_1_3_2_1_2_1","volume-title":"Henzinger","author":"Alur Rajeev","year":"1997","unstructured":"Rajeev Alur and Thomas A . Henzinger . 1997 . Modularity for Timed and Hybrid Systems. In CONCUR (LNCS), Vol. 1243 . Springer , 74--88. Rajeev Alur and Thomas A. Henzinger. 1997. Modularity for Timed and Hybrid Systems. In CONCUR (LNCS), Vol. 1243. Springer, 74--88."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.04.019"},{"key":"e_1_3_2_1_4_1","volume-title":"Timed Multiparty Session Types. In CONCUR 2014 (LNCS)","volume":"8704","author":"Bocchi L.","unstructured":"L. Bocchi , W. Yang , and N. Yoshida . 2014 . Timed Multiparty Session Types. In CONCUR 2014 (LNCS) , Vol. 8704 . Springer, 419--434. L. Bocchi, W. Yang, and N. Yoshida. 2014. Timed Multiparty Session Types. In CONCUR 2014 (LNCS), Vol. 8704. Springer, 419--434."},{"key":"e_1_3_2_1_5_1","volume-title":"Peng Liu, Theodore P. Pavlic, \u00dcmit \u00d6zg\u00fcner, and Georgios E. Fainekos.","author":"Campbell Joseph","year":"2016","unstructured":"Joseph Campbell , Cumhur Erkan Tuncali , Peng Liu, Theodore P. Pavlic, \u00dcmit \u00d6zg\u00fcner, and Georgios E. Fainekos. 2016 . Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach. In CASE. IEEE , 523--530. Joseph Campbell, Cumhur Erkan Tuncali, Peng Liu, Theodore P. Pavlic, \u00dcmit \u00d6zg\u00fcner, and Georgios E. Fainekos. 2016. Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach. In CASE. IEEE, 523--530."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.12.051"},{"key":"e_1_3_2_1_7_1","volume-title":"Model Checking Spatial Logics for Closure Spaces. Logical Methods in Computer Science 12, 4","author":"Ciancia Vincenzo","year":"2016","unstructured":"Vincenzo Ciancia , Diego Latella , Michele Loreti , and Mieke Massink . 2016. Model Checking Spatial Logics for Closure Spaces. Logical Methods in Computer Science 12, 4 ( 2016 ). Vincenzo Ciancia, Diego Latella, Michele Loreti, and Mieke Massink. 2016. Model Checking Spatial Logics for Closure Spaces. Logical Methods in Computer Science 12, 4 (2016)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055022"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TePRA.2013.6556373"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_14"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3231104.3231958"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503279"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2827695"},{"volume-title":"A Calculus of Cyber-Physical Systems","author":"Lanotte Ruggero","key":"e_1_3_2_1_16_1","unstructured":"Ruggero Lanotte and Massimo Merro . 2017. A Calculus of Cyber-Physical Systems . In LATA. Springer , 115--127. Ruggero Lanotte and Massimo Merro. 2017. A Calculus of Cyber-Physical Systems. In LATA. Springer, 115--127."},{"volume-title":"Planning algorithms","author":"LaValle Steven M.","key":"e_1_3_2_1_17_1","unstructured":"Steven M. LaValle . 2006. Planning algorithms . Cambridge University Press . Steven M. LaValle. 2006. Planning algorithms. Cambridge University Press."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670529.2754966"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3019612.3019656"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00067-1"},{"volume-title":"Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics","author":"Platzer Andr\u00e9","key":"e_1_3_2_1_22_1","unstructured":"Andr\u00e9 Platzer . 2010. Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics . Springer . Andr\u00e9 Platzer. 2010. Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics. Springer."},{"volume-title":"ICRA workshop on open source software.","author":"Quigley Morgan","key":"e_1_3_2_1_23_1","unstructured":"Morgan Quigley , Ken Conley , Brian P. Gerkey , Josh Faust , Tully Foote , Jeremy Leibs , Rob Wheeler , and Andrew Y. Ng . 2009. ROS: an open-source Robot Operating System . In ICRA workshop on open source software. Morgan Quigley, Ken Conley, Brian P. Gerkey, Josh Faust, Tully Foote, Jeremy Leibs, Rob Wheeler, and Andrew Y. Ng. 2009. ROS: an open-source Robot Operating System. In ICRA workshop on open source software."},{"key":"e_1_3_2_1_24_1","volume-title":"Separation Logic: A Logic for Shared Mutable Data Structures. In 17th IEEE Symposium on Logic in Computer Science (LICS","author":"Reynolds John C.","year":"2002","unstructured":"John C. Reynolds . 2002 . Separation Logic: A Logic for Shared Mutable Data Structures. In 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22--25 July 2002, Copenhagen, Denmark, Proceedings . IEEE Computer Society , 55--74. John C. Reynolds. 2002. Separation Logic: A Logic for Shared Mutable Data Structures. In 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22--25 July 2002, Copenhagen, Denmark, Proceedings. IEEE Computer Society, 55--74."},{"key":"e_1_3_2_1_25_1","volume-title":"Rounds and Hosung Song","author":"William","year":"2003","unstructured":"William C. Rounds and Hosung Song . 2003 . The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems. In HSCC. Springer , 435--449. William C. Rounds and Hosung Song. 2003. The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems. In HSCC. Springer, 435--449."}],"event":{"name":"ICCPS '19: ACM\/IEEE 10th International Conference on Cyber-Physical Systems","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","IEEE-CS\\TCRT TC on Real-Time Systems"],"location":"Montreal Quebec Canada","acronym":"ICCPS '19"},"container-title":["Proceedings of the 10th ACM\/IEEE International Conference on Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302509.3311052","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302509.3311052","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:55Z","timestamp":1750204435000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302509.3311052"}},"subtitle":["robot programming and verification with geometry, concurrency, and dynamics"],"short-title":[],"issued":{"date-parts":[[2019,4,16]]},"references-count":24,"alternative-id":["10.1145\/3302509.3311052","10.1145\/3302509"],"URL":"https:\/\/doi.org\/10.1145\/3302509.3311052","relation":{},"subject":[],"published":{"date-parts":[[2019,4,16]]},"assertion":[{"value":"2019-04-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}