{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,14]],"date-time":"2026-04-14T15:48:05Z","timestamp":1776181685013,"version":"3.50.1"},"reference-count":32,"publisher":"IEEE","funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["IIS-1723995,IIS-2024606"],"award-info":[{"award-number":["IIS-1723995,IIS-2024606"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,5,25]]},"DOI":"10.23919\/acc50511.2021.9482810","type":"proceedings-article","created":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T20:29:16Z","timestamp":1627504156000},"page":"2913-2918","source":"Crossref","is-referenced-by-count":8,"title":["A Control Architecture for Provably-Correct Autonomous Driving"],"prefix":"10.23919","author":[{"given":"Erfan","family":"Aasi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian Ioan","family":"Vasile","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","year":"2020","journal-title":"Gurobi Optimizer Reference Manual"},{"key":"ref31","author":"dosovitskiy","year":"2017","journal-title":"CARLA An Open Urban Driving Simulator"},{"key":"ref30","author":"ulus","year":"2019","journal-title":"Online monitoring of metric temporal logic using sequential networks"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2013.6629472"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2015.7171850"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2013.6728261"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2016.XII.029"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1820676116"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8462968"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461330"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989177"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794364"},{"key":"ref19","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.887290"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2016.7487272"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","article-title":"Monitoring temporal properties of continuous signals","author":"maler","year":"2004","journal-title":"Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems"},{"key":"ref3","author":"camacho","year":"2013","journal-title":"Model Predictive Control"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399744"},{"key":"ref29","author":"pacejka","year":"2005","journal-title":"Tire and Vehicle Dynamics"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1504\/IJVAS.2010.035796"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989224"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2016.2642164"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/VPPC.2007.4544214"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2015.2453404"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2003.821292"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.11.030"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2015.7447084"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-017-0286-7"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_5"}],"event":{"name":"2021 American Control Conference (ACC)","location":"New Orleans, LA, USA","start":{"date-parts":[[2021,5,25]]},"end":{"date-parts":[[2021,5,28]]}},"container-title":["2021 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9482409\/9482614\/09482810.pdf?arnumber=9482810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,6]],"date-time":"2021-10-06T10:50:41Z","timestamp":1633517441000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9482810\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,25]]},"references-count":32,"URL":"https:\/\/doi.org\/10.23919\/acc50511.2021.9482810","relation":{},"subject":[],"published":{"date-parts":[[2021,5,25]]}}}