{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,21]],"date-time":"2026-09-21T09:54:37Z","timestamp":1789984477316,"version":"4.0.1"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1109\/itsc.2018.8569903","type":"proceedings-article","created":{"date-parts":[[2018,12,13]],"date-time":"2018-12-13T01:21:46Z","timestamp":1544664106000},"page":"2452-2459","source":"Crossref","is-referenced-by-count":6,"title":["A Formal Approach for the Design of a Dependable Perception System for Autonomous Vehicles"],"prefix":"10.1109","author":[{"given":"Yrvann","family":"Emzivat","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Javier","family":"Ibanez-Guzman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Herve","family":"Illy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Philippe","family":"Martinet","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olivier H.","family":"Roux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.5194\/ars-9-49-2011"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.1997.660594"},{"key":"ref30","first-page":"168","article-title":"A review on moving object detection and tracking","volume":"5","author":"prajapati","year":"2015","journal-title":"International Journal of Computational Intelligence Research"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3390\/app7040426"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2492385.2492390"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"3103","DOI":"10.1016\/j.comnet.2011.03.016","article-title":"V2X communication in Europe-from research projects towards standardization and field testing of vehicle communication technology","volume":"55","author":"weib","year":"2011","journal-title":"Computer Networks"},{"key":"ref13","author":"radecki","year":"2016","journal-title":"All weather perception Joint data association tracking and classification for autonomous ground vehicles"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980298"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2011.942779"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1109\/FSKD.2007.235","article-title":"Data fusion using improved Dempster-Shafer evidence theory for vehicle detection","author":"zhao","year":"2007","journal-title":"Fuzzy Systems and Knowledge Discovery"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-005-0609-1"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-39086-4_16"},{"key":"ref19","first-page":"54","article-title":"Romeo: A parametric model-checker for Petri nets with stopwatches","author":"lime","year":"2009","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1002\/rob.20262"},{"key":"ref4","article-title":"Probabilistic analysis of correctness of high-level robot behaviour with sensor error","author":"johnson","year":"2011","journal-title":"Robotics Science and Systems"},{"key":"ref27","article-title":"Lane estimation for autonomous vehicles using vision and lidar","author":"huang","year":"2010","journal-title":"Massachusetts Institute of Technology Cambridge"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2006.1707405"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2003.11.001"},{"key":"ref29","first-page":"1","article-title":"The visual object tracking VOT2015 challenge results","author":"kristan","year":"2015","journal-title":"International Conference on Computer Vision Workshops"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2016.7487554"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225022"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICIF.2006.301721"},{"key":"ref2","first-page":"1651","article-title":"Control strategy selection for autonomous vehicles in a dynamic environment","author":"gao","year":"2005","journal-title":"International Conference on Systems Man and Cybernetics"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139732"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2492385.2492390"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2012.12.005"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2015.2452073"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2011.08.001"},{"key":"ref24","article-title":"Taxonomy and definitions for terms related to driving automation systems for on-road motor vehicles","year":"2016","journal-title":"SAE On-Road Automated Vehicle Standards Committee"},{"key":"ref23","first-page":"993","article-title":"Information evaluation in fusion: a case study","author":"cholvy","year":"2004","journal-title":"Information Processing and Management of Uncertainty in Knowledge-Based Systems"},{"key":"ref26","first-page":"1122","article-title":"Robust on-vehicle real-time visual detection of American and European speed limit signs","author":"moutarde","year":"2007","journal-title":"Intelligent Vehicles Symposium"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2012.6248074"}],"event":{"name":"2018 21st International Conference on Intelligent Transportation Systems (ITSC)","location":"Maui, HI","start":{"date-parts":[[2018,11,4]]},"end":{"date-parts":[[2018,11,7]]}},"container-title":["2018 21st International Conference on Intelligent Transportation Systems (ITSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8543039\/8569013\/08569903.pdf?arnumber=8569903","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T23:44:13Z","timestamp":1598226253000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8569903\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/itsc.2018.8569903","relation":{},"subject":[],"published":{"date-parts":[[2018,11]]}}}