{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T14:23:28Z","timestamp":1767968608208,"version":"3.49.0"},"reference-count":30,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Lockheed Martin Corporation, ONR","award":["N00014-21-1-2379"],"award-info":[{"award-number":["N00014-21-1-2379"]}]},{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2148186"],"award-info":[{"award-number":["2148186"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Federal Agencies and Industry Partners as specified in the Resilient and Intelligent NextG Systems"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Robot. Autom. Lett."],"published-print":{"date-parts":[[2024,3]]},"DOI":"10.1109\/lra.2023.3340525","type":"journal-article","created":{"date-parts":[[2023,12,7]],"date-time":"2023-12-07T19:51:30Z","timestamp":1701978690000},"page":"2917-2924","source":"Crossref","is-referenced-by-count":3,"title":["Safe Networked Robotics With Probabilistic Verification"],"prefix":"10.1109","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9714-3865","authenticated-orcid":false,"given":"Sai Shankar","family":"Narasimhan","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, The University of Texas at Austin, Austin, TX, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-1205-2305","authenticated-orcid":false,"given":"Sharachchandra","family":"Bhat","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, The University of Texas at Austin, Austin, TX, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0601-3633","authenticated-orcid":false,"given":"Sandeep P.","family":"Chinchali","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, The University of Texas at Austin, Austin, TX, USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1080\/03091902.2020.1772391"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.119.2200058"},{"key":"ref3","article-title":"Whos driving that food delivery bot? It might be a Gen Z gamer","year":"2022"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794107"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33013387"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2020.XVI.088"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.11797"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i12.26723"},{"key":"ref10","first-page":"3:1","article-title":"Safe reinforcement learning using probabilistic shields","volume-title":"Proc. 31st Int. Conf. Concurrency Theory","volume":"171","author":"Jansen","year":"2020"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-61362-4_16"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2168111"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.809799"},{"key":"ref14","article-title":"Acting in delayed environments with non-stationary Markov policies","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Derman","year":"2020"},{"key":"ref15","article-title":"F1\/10: An open-source autonomous cyber-physical platform","author":"OKelly","year":"2019"},{"key":"ref16","volume-title":"Principles of Model Checking.","author":"Baier","year":"2008"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.2376492"},{"key":"ref18","article-title":"Cloud-enabled robots","volume-title":"Proc. IEEE-RAS Int. Conf. Humanoid Robots","author":"Kuffner","year":"2010"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8793690"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-021-09987-4"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.2329556"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-95459-8_56"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i7.20690"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9482889"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-022-00480-4"},{"key":"ref26","article-title":"Reinforcement learning with probabilistic guarantees for autonomous driving","author":"Bouton","year":"2019"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2023\/637"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/IROS51168.2021.9636598"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9196867"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1561\/2400000035"}],"container-title":["IEEE Robotics and Automation Letters"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/7083369\/10409903\/10347353-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7083369\/10409903\/10347353.pdf?arnumber=10347353","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T19:29:01Z","timestamp":1734982141000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10347353\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3]]},"references-count":30,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/lra.2023.3340525","relation":{},"ISSN":["2377-3766","2377-3774"],"issn-type":[{"value":"2377-3766","type":"electronic"},{"value":"2377-3774","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,3]]}}}