{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T20:33:20Z","timestamp":1776890000166,"version":"3.51.2"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1109\/ivs.2019.8813793","type":"proceedings-article","created":{"date-parts":[[2019,8,30]],"date-time":"2019-08-30T01:11:26Z","timestamp":1567127486000},"page":"252-259","source":"Crossref","is-referenced-by-count":23,"title":["Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking"],"prefix":"10.1109","author":[{"given":"Mathieu","family":"Barbier","sequence":"first","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Alessandro","family":"Renzaglia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Jean","family":"Quilbeuf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Lukas","family":"Rummelhard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Anshul","family":"Paigwar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Christian","family":"Laugier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Javier","family":"Ibanez-Guzman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Olivier","family":"Simonin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995724"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2012.6232198"},{"key":"ref31","first-page":"795","article-title":"Proba-bilistic decision-making at road intersections: Formulation and quantitative evaluation","author":"barbier","year":"2018","journal-title":"Control Automation Robotics Vision (ICARCV) International Conference on"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2015.7225835"},{"key":"ref34","year":"2017","journal-title":"Scaner studio"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511790423"},{"key":"ref11","first-page":"73","article-title":"Approxi-mate probabilistic model checking","volume":"2937","author":"h\u00e9rault","year":"2004","journal-title":"Proceedings of the 5th International Conference on Verification Model Checking and Abstract Implementations ser Lecture Notes in Computer Science"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_26"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/3516.914387"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-013-0195-3"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/2.30720"},{"key":"ref17","first-page":"61","article-title":"Sensor fusion in certainty grids for mobile robots","volume":"9","author":"moravec","year":"1988","journal-title":"AI Magazine"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.400"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1201\/b16111"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00023-X"},{"key":"ref4","year":"0","journal-title":"Validation and testing of complex automated systems"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICVES.2012.6294297"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2010.5625246"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2011.6094894"},{"key":"ref29","article-title":"Monte-carlo planning in large pomdps","author":"silver","year":"2010","journal-title":"Advances in Neural Information Processing Systems 23"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2001.992667"},{"key":"ref8","year":"2017","journal-title":"Waymo's safety report how we are building a safer driver"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995802"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SICE.2006.314663"},{"key":"ref9","author":"shalev-shwartz","year":"2017","journal-title":"On a formal model of safe and scalable self-driving cars"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2007.4290183"},{"key":"ref20","article-title":"Efficient gpu-based construction of occupancy grids using several laser range-finders","volume":"6","author":"yguel","year":"2006","journal-title":"International Journal of Vehicle Autonomous Systems"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24673-2_23"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1980.271915"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2009.2026452"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2006.883780"},{"key":"ref26","first-page":"1","article-title":"CARLA: An open urban driving simulator","author":"dosovitskiy","year":"2017","journal-title":"Proceedings of the 1st Annual Conference on Robot Learning"},{"key":"ref25","article-title":"Probabilistic grid-based collision risk prediction for driving application","author":"rummelhard","year":"2014","journal-title":"International Synposium on Experimental Robotics"}],"event":{"name":"2019 IEEE Intelligent Vehicles Symposium (IV)","location":"Paris, France","start":{"date-parts":[[2019,6,9]]},"end":{"date-parts":[[2019,6,12]]}},"container-title":["2019 IEEE Intelligent Vehicles Symposium (IV)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8792328\/8813768\/08813793.pdf?arnumber=8813793","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T03:15:21Z","timestamp":1657854921000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8813793\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/ivs.2019.8813793","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}