{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T06:54:45Z","timestamp":1764053685310},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,12,14]]},"DOI":"10.1109\/cdc42340.2020.9304186","type":"proceedings-article","created":{"date-parts":[[2021,1,13]],"date-time":"2021-01-13T07:27:32Z","timestamp":1610522852000},"source":"Crossref","is-referenced-by-count":10,"title":["Ensuring safety for vehicle parking tasks using Hamilton-Jacobi reachability analysis"],"prefix":"10.1109","author":[{"given":"Frank J.","family":"Jiang","sequence":"first","affiliation":[]},{"given":"Yulong","family":"Gao","sequence":"additional","affiliation":[]},{"given":"Lihua","family":"Xie","sequence":"additional","affiliation":[]},{"given":"Karl H.","family":"Johansson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"561","article-title":"On infusing reachability-based safety assurance within probabilistic planning frameworks for human-robot vehicle interactions","author":"leung","year":"2018","journal-title":"International Symposium on Experimental Robotics"},{"key":"ref11","article-title":"Signal temporal logic meets Hamilton-Jacobi reachability: connections and applications","author":"chen","year":"2018","journal-title":"Proceedings of International Workshop on the Algorithmic Foundations of Robotics"},{"key":"ref12","article-title":"Temporal logic trees for model checking and control synthesis of uncertain discrete-time systems","author":"gao","year":"2020"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"ref15","article-title":"Reachability-based human-in-the-loop control with uncertain specifications","author":"gao","year":"2020","journal-title":"Proc 21st IFAC World Congress"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2501351"},{"key":"ref17","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178136"},{"key":"ref4","article-title":"Innovative parking solutions. convenient, customer-oriented and efficient","author":"ag","year":"2020"},{"key":"ref3","article-title":"Autonomous parking of vehicle fleet in tight environments","author":"shen","year":"2019"},{"key":"ref6","year":"2020","journal-title":"The War to Remotely Control Self-Driving Cars Heats Up"},{"key":"ref5","author":"ag","year":"2018","journal-title":"Intelligent parking"},{"key":"ref8","author":"coddington","year":"1955","journal-title":"Theory of Ordinary Differential Equations"},{"key":"ref7","article-title":"Taxonomy and definitions for terms related to on-road motor vehicle automated driving systems","year":"2018","journal-title":"SAE International Tech Rep"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796055"},{"key":"ref9","article-title":"Collision warning with auto brake: a real-life safety perspective","author":"coelingh","year":"2007","journal-title":"Innovations for Safety Opportunities and Challenges Tech Rep"},{"key":"ref1","article-title":"The impact of parking pain in the us, uk and germany","year":"2017","journal-title":"Tech Rep"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-019-00297-7"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"ref26","article-title":"A Toolbox of Level Set Methods","author":"mitchell","year":"2007","journal-title":"Tech Rep"},{"key":"ref25","article-title":"Game-theoretic safety assurance for human-centered robotic systems","author":"fernandez fisac","year":"2019","journal-title":"Ph D Dissertation"}],"event":{"name":"2020 59th IEEE Conference on Decision and Control (CDC)","location":"Jeju, Korea (South)","start":{"date-parts":[[2020,12,14]]},"end":{"date-parts":[[2020,12,18]]}},"container-title":["2020 59th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9303728\/9303729\/09304186.pdf?arnumber=9304186","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T15:52:25Z","timestamp":1656345145000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9304186\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,14]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/cdc42340.2020.9304186","relation":{},"subject":[],"published":{"date-parts":[[2020,12,14]]}}}