{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T05:22:43Z","timestamp":1776316963197,"version":"3.50.1"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1109\/itsc.2016.7795751","type":"proceedings-article","created":{"date-parts":[[2016,12,26]],"date-time":"2016-12-26T16:45:07Z","timestamp":1482770707000},"page":"1470-1475","source":"Crossref","is-referenced-by-count":67,"title":["Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles"],"prefix":"10.1109","author":[{"given":"Cumhur Erkan","family":"Tuncali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Theodore P.","family":"Pavlic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgios","family":"Fainekos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1007\/978-3-642-19835-9_21","article-title":"S-taliro: A tool for temporal logic falsification for hybrid systems","author":"annpureddy","year":"2011","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems Springer"},{"key":"ref11","article-title":"MATLAB, version 9.0.0 (R2016a)","year":"2016","journal-title":"Natick Massachusetts The MathWorks Inc"},{"key":"ref12","article-title":"Webots™: Professional mobile robot simulation","author":"michel","year":"0","journal-title":"arXiv preprint cs\/0410027 2004"},{"key":"ref13","article-title":"CarSim","year":"2016","journal-title":"Mechanical Simulation"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref15","article-title":"Near-miss determination through use of a scale of danger","author":"hayward","year":"1972","journal-title":"Highway ResearchRecord"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2014.6856430"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/Allerton.2012.6483411"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2735960.2735966"},{"key":"ref19","article-title":"Modeling and estimation of dynamic tire properties","author":"narby","year":"2006"},{"key":"ref4","article-title":"Handbook of Driver Assistance Systems: Basic Information, Components and Systems for Active Safety and Comfort","author":"winner","year":"2015"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.2514\/3.25351"},{"key":"ref6","first-page":"612","article-title":"Validation of the vehicle in the loop (VIL); a milestone for the simulation of driver assistance systems","author":"bock","year":"2007","journal-title":"Intelligent Vehicles Symposium 2007 IEEE IEEE"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.236"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465797"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"903","DOI":"10.1109\/TRO.2014.2312453","article-title":"Online verification of automated road vehicles using reachability analysis","volume":"30","author":"althoff","year":"2014","journal-title":"Robotics IEEE Transactions on"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36455-6"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1515\/9781400833870"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2014.2336271"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/9.273373"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2015.7172017"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2007.4282788"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2015.7171968"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1137\/0717021"},{"key":"ref25","article-title":"Trajectory generation for car-like robots using cubic curvature polynomials","volume":"11","author":"nagy","year":"2001","journal-title":"Field and Service Robots"}],"event":{"name":"2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC)","location":"Rio de Janeiro, Brazil","start":{"date-parts":[[2016,11,1]]},"end":{"date-parts":[[2016,11,4]]}},"container-title":["2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7784515\/7795515\/07795751.pdf?arnumber=7795751","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T19:51:50Z","timestamp":1568663510000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7795751\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/itsc.2016.7795751","relation":{},"subject":[],"published":{"date-parts":[[2016,11]]}}}