{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T13:05:08Z","timestamp":1777467908427,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":5,"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:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,5,19]]},"DOI":"10.1145\/3457335.3461712","type":"proceedings-article","created":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T16:10:52Z","timestamp":1624983052000},"page":"26-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Safe CPS from unsafe controllers"],"prefix":"10.1145","author":[{"given":"Usama","family":"Mehmood","sequence":"first","affiliation":[{"name":"Stony Brook University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stanley","family":"Bak","sequence":"additional","affiliation":[{"name":"Stony Brook University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[{"name":"Stony Brook University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott D.","family":"Stoller","sequence":"additional","affiliation":[{"name":"Stony Brook University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,6,29]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Real-Time Reachability for Verified Simplex Design. In 35th IEEE Real-Time Systems Symposium (RTSS","author":"Bak Stanley","year":"2014","unstructured":"Stanley Bak , Taylor T. Johnson , Marco Caccamo , and Lui Sha . 2014 . Real-Time Reachability for Verified Simplex Design. In 35th IEEE Real-Time Systems Symposium (RTSS 2014). IEEE Computer Society, Rome, Italy. Stanley Bak, Taylor T. Johnson, Marco Caccamo, and Lui Sha. 2014. Real-Time Reachability for Verified Simplex Design. In 35th IEEE Real-Time Systems Symposium (RTSS 2014). IEEE Computer Society, Rome, Italy."},{"key":"e_1_3_2_1_3_1","volume-title":"Robust airborne collision avoidance through dynamic programming","author":"Kochenderfer Mykel J","year":"2011","unstructured":"Mykel J Kochenderfer and JP Chryssanthacopoulos . 2011. Robust airborne collision avoidance through dynamic programming . Massachusetts Institute of Technology , Lincoln Laboratory , Project Report ATC-371 130 ( 2011 ). Mykel J Kochenderfer and JP Chryssanthacopoulos. 2011. Robust airborne collision avoidance through dynamic programming. Massachusetts Institute of Technology, Lincoln Laboratory, Project Report ATC-371 130 (2011)."},{"key":"e_1_3_2_1_4_1","volume-title":"ReachFlow: An Online Safety Assurance Framework for Waypoint-Following of Self-driving Cars. In 2020 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS).","author":"Lin Qin","year":"2020","unstructured":"Qin Lin , Xin Chen , Aman Khurana , and John Dolan . 2020 . ReachFlow: An Online Safety Assurance Framework for Waypoint-Following of Self-driving Cars. In 2020 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS). Qin Lin, Xin Chen, Aman Khurana, and John Dolan. 2020. ReachFlow: An Online Safety Assurance Framework for Waypoint-Following of Self-driving Cars. In 2020 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)."},{"key":"e_1_3_2_1_5_1","volume-title":"Stoller","author":"Mehmood Usama","year":"2021","unstructured":"Usama Mehmood , Stanley Bak , Scott A. Smolka , and Scott D . Stoller . 2021 . Safe CPS from Unsafe Controllers . arXiv:2102.12981 [cs.SE] Usama Mehmood, Stanley Bak, Scott A. Smolka, and Scott D. Stoller. 2021. Safe CPS from Unsafe Controllers. arXiv:2102.12981 [cs.SE]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2001.936213"}],"event":{"name":"CPS-IoT Week '21: Cyber-Physical Systems and Internet of Things Week 2021","location":"Nashville Tennessee","acronym":"CPS-IoT Week '21","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","IEEE Signal Processing Society","IEEE CS"]},"container-title":["Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3457335.3461712","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3457335.3461712","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:19Z","timestamp":1750191439000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3457335.3461712"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,19]]},"references-count":5,"alternative-id":["10.1145\/3457335.3461712","10.1145\/3457335"],"URL":"https:\/\/doi.org\/10.1145\/3457335.3461712","relation":{},"subject":[],"published":{"date-parts":[[2021,5,19]]},"assertion":[{"value":"2021-06-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}