{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:47:13Z","timestamp":1750308433467,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T00:00:00Z","timestamp":1587513600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Toyota Research Institute"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,4,22]]},"DOI":"10.1145\/3365365.3382217","type":"proceedings-article","created":{"date-parts":[[2020,5,4]],"date-time":"2020-05-04T07:48:38Z","timestamp":1588578518000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Formal verification of braking while swerving in automobiles"],"prefix":"10.1145","author":[{"given":"Aakash","family":"Abhishek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harry","family":"Sood","sequence":"additional","affiliation":[{"name":"University of Michigan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Baptiste","family":"Jeannin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Formal Verification of Swerving Maneuvers for Car Collision Avoidance. In 2020 American Control Conference (ACC). IEEE.","author":"Abhishek Aakash","year":"2020","unstructured":"Aakash Abhishek , Harry Sood , and Jean-Baptiste Jeannin . 2020 , to appear . Formal Verification of Swerving Maneuvers for Car Collision Avoidance. In 2020 American Control Conference (ACC). IEEE. Aakash Abhishek, Harry Sood, and Jean-Baptiste Jeannin. 2020, to appear. Formal Verification of Swerving Maneuvers for Car Collision Avoidance. In 2020 American Control Conference (ACC). IEEE."},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems.","author":"Althoff Matthias","year":"2015","unstructured":"Matthias Althoff . 2015 . An introduction to CORA 2015 . In Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems. Matthias Althoff. 2015. An introduction to CORA 2015. In Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Gilles Dowek C\u00e9sar Munoz and Victor Carre\u00f1o. 2005. Provably safe coordinated strategy for distributed conflict resolution. In AIAA guidance navigation and control conference and exhibit. 6047.  Gilles Dowek C\u00e9sar Munoz and Victor Carre\u00f1o. 2005. Provably safe coordinated strategy for distributed conflict resolution. In AIAA guidance navigation and control conference and exhibit. 6047.","DOI":"10.2514\/6.2005-6047"},{"key":"e_1_3_2_1_4_1","volume-title":"On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents. American Journal of mathematics 79, 3","author":"Dubins Lester E","year":"1957","unstructured":"Lester E Dubins . 1957. On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents. American Journal of mathematics 79, 3 ( 1957 ), 497--516. Lester E Dubins. 1957. On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents. American Journal of mathematics 79, 3 (1957), 497--516."},{"key":"e_1_3_2_1_5_1","unstructured":"Tony Foale. 2006. Motorcycle handling and chassis design: the art and science. Tony Foale.  Tony Foale. 2006. Motorcycle handling and chassis design: the art and science. Tony Foale."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032335"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21401-6_36"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0263574714000289"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136037"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-016-0434-1"},{"key":"e_1_3_2_1_13_1","volume-title":"Erasmus Darwin's improved design for steering carriages---and cars. Notes and records of the Royal Society of London 56, 1","author":"King-Hele Desmond","year":"2002","unstructured":"Desmond King-Hele . 2002. Erasmus Darwin's improved design for steering carriages---and cars. Notes and records of the Royal Society of London 56, 1 ( 2002 ), 41--62. Desmond King-Hele. 2002. Erasmus Darwin's improved design for steering carriages---and cars. Notes and records of the Royal Society of London 56, 1 (2002), 41--62."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_15"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Jean-Paul Laumond etal 1998. Robot motion planning and control. Vol. 229. Springer.  Jean-Paul Laumond et al. 1998. Robot motion planning and control. Vol. 229. Springer.","DOI":"10.1007\/BFb0036069"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21437-0_6"},{"key":"e_1_3_2_1_17_1","volume-title":"Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System. arXiv preprint arXiv:1709.02561","author":"Martin Benjamin","year":"2017","unstructured":"Benjamin Martin , Khalil Ghorbal , Eric Goubault , and Sylvie Putot . 2017. Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System. arXiv preprint arXiv:1709.02561 ( 2017 ). Benjamin Martin, Khalil Ghorbal, Eric Goubault, and Sylvie Putot. 2017. Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System. arXiv preprint arXiv:1709.02561 (2017)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1177\/0278364917733549"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-008-9103-8"},{"volume-title":"Logical analysis of hybrid systems: proving theorems for complex dynamics","author":"Platzer Andr\u00e9","key":"e_1_3_2_1_20_1","unstructured":"Andr\u00e9 Platzer . 2010. Logical analysis of hybrid systems: proving theorems for complex dynamics . Springer Science & Business Media . Andr\u00e9 Platzer. 2010. Logical analysis of hybrid systems: proving theorems for complex dynamics. Springer Science & Business Media."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.13"},{"volume-title":"Logical Foundations of Cyber-Physical Systems","author":"Platzer Andr\u00e9","key":"e_1_3_2_1_22_1","unstructured":"Andr\u00e9 Platzer . 2018. Logical Foundations of Cyber-Physical Systems . Springer . Andr\u00e9 Platzer. 2018. Logical Foundations of Cyber-Physical Systems. Springer."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_35"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209147"},{"key":"e_1_3_2_1_25_1","volume-title":"Differential Equation Invariance Axiomatization. arXiv preprint arXiv:1905.13429","author":"Platzer Andr\u00e9","year":"2019","unstructured":"Andr\u00e9 Platzer and Yong Kiam Tan . 2019. Differential Equation Invariance Axiomatization. arXiv preprint arXiv:1905.13429 ( 2019 ). Andr\u00e9 Platzer and Yong Kiam Tan. 2019. Differential Equation Invariance Axiomatization. arXiv preprint arXiv:1905.13429 (2019)."},{"volume-title":"Vehicle dynamics and control","author":"Rajamani Rajesh","key":"e_1_3_2_1_26_1","unstructured":"Rajesh Rajamani . 2011. Vehicle dynamics and control . Springer Science & Business Media . Rajesh Rajamani. 2011. Vehicle dynamics and control. Springer Science & Business Media."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993886.1993935"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.664154"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s40435-013-0032-y"}],"event":{"name":"HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Sydney New South Wales Australia","acronym":"HSCC '20"},"container-title":["Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365365.3382217","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3365365.3382217","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:49Z","timestamp":1750268989000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365365.3382217"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,22]]},"references-count":28,"alternative-id":["10.1145\/3365365.3382217","10.1145\/3365365"],"URL":"https:\/\/doi.org\/10.1145\/3365365.3382217","relation":{},"subject":[],"published":{"date-parts":[[2020,4,22]]},"assertion":[{"value":"2020-04-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}