{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T06:12:47Z","timestamp":1768457567827,"version":"3.49.0"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,7,11]],"date-time":"2021-07-11T00:00:00Z","timestamp":1625961600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,7,11]],"date-time":"2021-07-11T00:00:00Z","timestamp":1625961600000},"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":[[2021,7,11]]},"DOI":"10.1109\/iv48863.2021.9575528","type":"proceedings-article","created":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T20:59:16Z","timestamp":1635800356000},"page":"215-222","source":"Crossref","is-referenced-by-count":4,"title":["Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation"],"prefix":"10.1109","author":[{"given":"Boutheina","family":"Bannour","sequence":"first","affiliation":[{"name":"Université Paris-Saclay, CEA, List,Palaiseau,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Niol","sequence":"additional","affiliation":[{"name":"Safe Mobile Systems, APSYS,Elancourt,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Crisafulli","sequence":"additional","affiliation":[{"name":"Systems Engineering and Dependability, IRT SystemX,Palaiseau,France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.2017.2659751","article-title":"Eliminating Path Redundancy via Post-conditioned Symbolic Execution","author":"yi","year":"2018","journal-title":"Trans Software Eng"},{"key":"ref10","article-title":"Rules of the Road: Towards Safety and Liveness Guarantees for Autonomous Vehicles","author":"cai","year":"2020","journal-title":"CoRR"},{"key":"ref11","year":"0","journal-title":"CEA List The Symbolic Execution Tool DIVERSITY"},{"key":"ref12","article-title":"A simulation-based framework for functional testing of automated driving controllers","author":"djoudi","year":"2020","journal-title":"IEEE ITS"},{"key":"ref13","article-title":"MOOVE & MOSAR projects: a scenario library for designing & validating ADS","author":"foyer","year":"0","journal-title":"DSC 2020"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/11754008_1"},{"key":"ref15","author":"guyonvarch","year":"2019","journal-title":"Data Driven Scenarios for AD\/ADAS Validation"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2016.01.003"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68413-8_6"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39274-0_3"},{"key":"ref4","article-title":"VERIF-CAR: A Framework for Modeling and Model checking Communicating Autonomous Vehicles","author":"arcile","year":"2020","journal-title":"AA-MAS"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.164"},{"key":"ref3","article-title":"Symbolic Execution with Abstract Subsumption Checking","author":"anand","year":"2006","journal-title":"SPIN"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2019.8813875"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2011.6083056"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-019-09409-x"},{"key":"ref8","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref7","first-page":"2019","article-title":"French automotive industry safety argumentation for automated vehicle SAE level 3 and 4","author":"arnoux","year":"0","journal-title":"SIP-adus workshop"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34691-0_10"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31280-0_1"},{"key":"ref20","year":"0","journal-title":"OMEGA Project"},{"key":"ref22","article-title":"Uber die volstandigkeit eines gewis-sen systems der arithmetik ganzer zahlen, in welchem die addition als einzige operation hervortritt","author":"presburger","year":"1929","journal-title":"1er congrés des Mathématiciens des pays slaves"},{"key":"ref21","year":"0","journal-title":"Pegasus Project"},{"key":"ref24","article-title":"Road vehicles - Safety of the intended functionality","year":"0","journal-title":"Tech rep ISO\/PAS 21448 2019 2019"},{"key":"ref23","article-title":"Facing ADAS validation complexity with usage oriented testing","author":"raffaelli","year":"2016","journal-title":"CoRR"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/DSN-W.2018.00012"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_19"}],"event":{"name":"2021 IEEE Intelligent Vehicles Symposium (IV)","location":"Nagoya, Japan","start":{"date-parts":[[2021,7,11]]},"end":{"date-parts":[[2021,7,17]]}},"container-title":["2021 IEEE Intelligent Vehicles Symposium (IV)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9575127\/9575130\/09575528.pdf?arnumber=9575528","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,3]],"date-time":"2022-08-03T00:20:29Z","timestamp":1659486029000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9575528\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,11]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/iv48863.2021.9575528","relation":{},"subject":[],"published":{"date-parts":[[2021,7,11]]}}}