{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T23:52:58Z","timestamp":1769039578266,"version":"3.49.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/test.2018.8624774","type":"proceedings-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T22:09:16Z","timestamp":1548367756000},"page":"1-7","source":"Crossref","is-referenced-by-count":12,"title":["Safe AI for CPS (Invited Paper)"],"prefix":"10.1109","author":[{"given":"Nathan","family":"Fulton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andre","family":"Platzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"ApolloAuto: An open autonomous driving platform","year":"2018"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-016-9385-1"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-63588-0","author":"platzer","year":"2018","journal-title":"Logical Foundations of Cyber-Physical Systems Switzerland Springer"},{"key":"ref13","first-page":"527","article-title":"KeYmaera¨ X: An axiomatic tactical theorem prover for hybrid systems","volume":"9195","author":"fulton","year":"2015","journal-title":"CADE Ser LNCS"},{"key":"ref14","first-page":"207","article-title":"Bellerophon: Tactical theorem proving for hybrid systems","volume":"10499","author":"fulton","year":"2017","journal-title":"ITP ser LNCS"},{"key":"ref15","author":"sutton","year":"1998","journal-title":"Reinforcement Learning-An Introduction MIT Press Cambridge"},{"key":"ref16","first-page":"6485","article-title":"Safe reinforcement learning via formal methods: Toward safe control through proof and learning","author":"fulton","year":"0","journal-title":"Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence February 2-7 2018 New Orleans Louisiana USA"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s10703-016-0241-z","article-title":"ModelPlex: Verified runtime validation of verified cyber-physical system models","volume":"49","author":"mitsch","year":"0","journal-title":"Form Methods Syst Des"},{"key":"ref18","first-page":"171","article-title":"SAT modulo ODE: A direct SAT¨ approach to hybrid systems","volume":"5311","author":"eggers","year":"0","journal-title":"in Automated Technology for Verification and Analysis 6th International Symposium ATVA 2008 Seoul Korea October 20-23 2008 Proceedings"},{"key":"ref19","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v32i1.11797","article-title":"Safe reinforcement learning via shielding","author":"alshiekh","year":"2018","journal-title":"in Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence New Orleans Louisiana USA"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-008-9103-8"},{"key":"ref27","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-57318-6","volume":"736","author":"grossman","year":"1993","journal-title":"Hybrid Systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57318-6_35"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.13"},{"key":"ref5","first-page":"379","article-title":"SpaceEx: Scalable verification of hybrid systems","volume":"6806","author":"frehse","year":"0","journal-title":"23rd CAV 2011 ser LNCS"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2016.2578706"},{"key":"ref7","first-page":"200","article-title":"dReach: ?-reachability analysis for hybrid systems","volume":"9035","author":"kong","year":"0","journal-title":"in Tools and Algorithms for the Construction and Analysis of Systems-21st International Conference TACAS 2015 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2015 London UK April 11-18 2015 Proceedings ser LNCS"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","article-title":"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems","volume":"736","author":"alur","year":"1992","journal-title":"Hybrid Systems"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.3390\/machines5010006","article-title":"Perception, planning, control, and coordination for autonomous vehicles","volume":"5","author":"pendleton","year":"2017","journal-title":"Machines"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.7249\/RR1478"},{"key":"ref20","article-title":"Logically-correct reinforcement learning","volume":"abs 1801 8099","author":"hasanbeig","year":"2018","journal-title":"CoRR"},{"key":"ref22","article-title":"A general safety framework for learning-based control in uncertain robotic systems","author":"fisac","year":"2017","journal-title":"CoRR"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225136"},{"key":"ref24","article-title":"Towards practical verification of machine learning: The case of computer vision systems","author":"pei","year":"2017","journal-title":"CoRR"},{"key":"ref23","article-title":"Training verified learners with learned verifiers","volume":"abs 1805 10265","author":"dvijotham","year":"2018","journal-title":"CoRR"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-016-9401-5"},{"key":"ref25","first-page":"617","article-title":"VeriPhy: Verified controller executables from verified cyber-physical system models","author":"bohrer","year":"2018","journal-title":"PLDI"}],"event":{"name":"2018 IEEE International Test Conference (ITC)","location":"Phoenix, AZ, USA","start":{"date-parts":[[2018,10,29]]},"end":{"date-parts":[[2018,11,1]]}},"container-title":["2018 IEEE International Test Conference (ITC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8610502\/8624670\/08624774.pdf?arnumber=8624774","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,10]],"date-time":"2022-09-10T18:58:53Z","timestamp":1662836333000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8624774\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/test.2018.8624774","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}