{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,26]],"date-time":"2026-06-26T14:13:24Z","timestamp":1782483204560,"version":"3.54.5"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:00:00Z","timestamp":1696118400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:00:00Z","timestamp":1696118400000},"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":[[2023,10,1]]},"DOI":"10.1109\/smc53992.2023.10394593","type":"proceedings-article","created":{"date-parts":[[2024,1,29]],"date-time":"2024-01-29T18:32:04Z","timestamp":1706553124000},"page":"2997-3002","source":"Crossref","is-referenced-by-count":2,"title":["Using Knowledge Awareness to Improve Safety of Autonomous Driving"],"prefix":"10.1109","author":[{"given":"Andrea","family":"Calvagna","sequence":"first","affiliation":[{"name":"University of Catania,Dipartimento di Matematica e Informatica,Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arabinda","family":"Ghosh","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Software Systems,Kaiserslautern,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sadegh","family":"Soudjnai","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Software Systems,Kaiserslautern,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-060117-104838"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2501351"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1177\/0278364918774135"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5650371"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3390\/s20154220"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2019.2957669"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9196874"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1177\/0954407020950054"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s00521-019-04086-z"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2016.2551545"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2017.09.012"},{"key":"ref13","article-title":"Cautious planning with incremental symbolic perception: Designing verified reactive driving maneuvers","author":"Kamale","year":"2022","journal-title":"arXiv preprint"},{"key":"ref14","volume-title":"Handbook on ontologies","author":"Staab","year":"2010"},{"key":"ref15","article-title":"Integration of ontological scene representation and logic-based reasoning for context-aware driver assistance systems","volume":"11","author":"Fuchs","year":"2008","journal-title":"Electronic Communications of the EASST"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-80126-7_25"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2011.5940415"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198534532.003.0001"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/103516.128680"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511711787.016"},{"key":"ref23","volume-title":"Principles of model checking","author":"Baier","year":"2008"},{"key":"ref24","first-page":"364","article-title":"Synthesis of reactive(l) de-signs","volume-title":"Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI","author":"Piterman","year":"2006"},{"issue":"1","key":"ref25","first-page":"35","article-title":"Bridging the gap between fair simulation and trace inclusion","volume-title":"Information and Computation","volume":"200","author":"Kesten","year":"2005"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967747"},{"key":"ref27","volume-title":"Semantic Web for the Working Ontologist: Effective Modeling in RDFS and OWL","author":"Allemang","year":"2011"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2757001.2757003"}],"event":{"name":"2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","location":"Honolulu, Oahu, HI, USA","start":{"date-parts":[[2023,10,1]]},"end":{"date-parts":[[2023,10,4]]}},"container-title":["2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10391856\/10393862\/10394593.pdf?arnumber=10394593","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T13:17:50Z","timestamp":1706793470000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10394593\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,1]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/smc53992.2023.10394593","relation":{},"subject":[],"published":{"date-parts":[[2023,10,1]]}}}