{"id":"https://openalex.org/W4391331239","doi":"https://doi.org/10.1109/smc53992.2023.10394593","title":"Using Knowledge Awareness to Improve Safety of Autonomous Driving","display_name":"Using Knowledge Awareness to Improve Safety of Autonomous Driving","publication_year":2023,"publication_date":"2023-10-01","ids":{"openalex":"https://openalex.org/W4391331239","doi":"https://doi.org/10.1109/smc53992.2023.10394593"},"language":"en","primary_location":{"id":"doi:10.1109/smc53992.2023.10394593","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc53992.2023.10394593","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024990009","display_name":"Andrea Calvagna","orcid":"https://orcid.org/0000-0001-7965-3327"},"institutions":[{"id":"https://openalex.org/I39063666","display_name":"University of Catania","ror":"https://ror.org/03a64bh57","country_code":"IT","type":"education","lineage":["https://openalex.org/I39063666"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Calvagna","raw_affiliation_strings":["University of Catania,Dipartimento di Matematica e Informatica,Italy","Dipartimento di Matematica e Informatica, University of Catania, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Catania,Dipartimento di Matematica e Informatica,Italy","institution_ids":["https://openalex.org/I39063666"]},{"raw_affiliation_string":"Dipartimento di Matematica e Informatica, University of Catania, Italy","institution_ids":["https://openalex.org/I39063666"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046534532","display_name":"Arabinda Ghosh","orcid":"https://orcid.org/0000-0003-0517-9399"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Arabinda Ghosh","raw_affiliation_strings":["Max Planck Institute for Software Systems,Kaiserslautern,Germany","Max Planck Institute for Software Systems, Kaiserslautern, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems,Kaiserslautern,Germany","institution_ids":["https://openalex.org/I4210121786"]},{"raw_affiliation_string":"Max Planck Institute for Software Systems, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5093816361","display_name":"Sadegh Soudjnai","orcid":null},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]},{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["DE","GB"],"is_corresponding":false,"raw_author_name":"Sadegh Soudjnai","raw_affiliation_strings":["Max Planck Institute for Software Systems,Kaiserslautern,Germany","Max Planck Institute for Software Systems, Kaiserslautern, Germany","School of Computing, Newcastle University, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems,Kaiserslautern,Germany","institution_ids":["https://openalex.org/I4210121786"]},{"raw_affiliation_string":"Max Planck Institute for Software Systems, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I4210121786"]},{"raw_affiliation_string":"School of Computing, Newcastle University, United Kingdom","institution_ids":["https://openalex.org/I84884186"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"11","issue":null,"first_page":"2997","last_page":"3002"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9890000224113464,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9843000173568726,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7575658559799194},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.6534667015075684},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.607781171798706},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5851754546165466},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5526912808418274},{"id":"https://openalex.org/keywords/knowledge-based-systems","display_name":"Knowledge-based systems","score":0.49431586265563965},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.4609352648258209},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.45472562313079834},{"id":"https://openalex.org/keywords/perception","display_name":"Perception","score":0.4397774338722229},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4361834228038788},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.43041619658470154},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3598862290382385},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.3225961923599243},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1981123387813568},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14728176593780518},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12241485714912415}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7575658559799194},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.6534667015075684},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.607781171798706},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5851754546165466},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5526912808418274},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.49431586265563965},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.4609352648258209},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.45472562313079834},{"id":"https://openalex.org/C26760741","wikidata":"https://www.wikidata.org/wiki/Q160402","display_name":"Perception","level":2,"score":0.4397774338722229},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4361834228038788},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.43041619658470154},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3598862290382385},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3225961923599243},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1981123387813568},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14728176593780518},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12241485714912415},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/smc53992.2023.10394593","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc53992.2023.10394593","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7400000095367432,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1514960592","https://openalex.org/W1718459485","https://openalex.org/W1725190037","https://openalex.org/W1794411284","https://openalex.org/W2004796166","https://openalex.org/W2016917647","https://openalex.org/W2023808162","https://openalex.org/W2101125181","https://openalex.org/W2117218135","https://openalex.org/W2124623089","https://openalex.org/W2164451522","https://openalex.org/W2261812172","https://openalex.org/W2276652948","https://openalex.org/W2321166790","https://openalex.org/W2344321026","https://openalex.org/W2766237839","https://openalex.org/W2784743256","https://openalex.org/W2804655496","https://openalex.org/W2919115004","https://openalex.org/W2963541987","https://openalex.org/W2998208410","https://openalex.org/W3045897451","https://openalex.org/W3081653467","https://openalex.org/W3089490871","https://openalex.org/W3111190914","https://openalex.org/W4383109088","https://openalex.org/W6630764078","https://openalex.org/W6633476565","https://openalex.org/W6843088515"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W3021103820","https://openalex.org/W2763487042","https://openalex.org/W2521108391","https://openalex.org/W1532447905","https://openalex.org/W2031188261","https://openalex.org/W4285022830","https://openalex.org/W4232446061","https://openalex.org/W2077520193","https://openalex.org/W1513400763"],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,65],"method,":[3],"which":[4,83,100],"incorporates":[5],"knowledge":[6,45,68],"awareness":[7,46],"into":[8,51,59],"the":[9,25,37,40,44,48,60,77,102,105,129],"symbolic":[10,86,94,113,143],"computation":[11],"of":[12,36,47,76,88,104,141],"discrete":[13],"controllers":[14,144],"for":[15,120,145],"reactive":[16,146],"cyber":[17],"physical":[18],"systems,":[19],"to":[20,63,127,139],"improve":[21],"decision":[22],"making":[23],"about":[24],"unknown":[26],"operating":[27,49],"environment":[28,78],"under":[29],"uncertain/incomplete":[30],"inputs.":[31],"Assuming":[32],"an":[33,73,121],"abstract":[34],"model":[35,75],"system":[38,61,106],"and":[39,56,80,131],"environment,":[41],"we":[42],"translate":[43],"context":[50],"linear":[52],"temporal":[53],"logic":[54],"formulas":[55],"incorporate":[57],"them":[58],"specifications":[62],"synthesize":[64],"controller.":[66],"The":[67,92],"base":[69],"is":[70],"built":[71],"upon":[72],"ontology":[74],"objects":[79],"behavioural":[81],"rules,":[82],"includes":[84],"also":[85],"models":[87],"partial":[89],"input":[90],"features.":[91],"resulting":[93],"controller":[95],"support":[96],"smoother,":[97],"early":[98],"reactions,":[99],"improves":[101],"security":[103],"over":[107],"existing":[108],"approaches":[109],"based":[110],"on":[111],"incremental":[112],"perception.":[114],"A":[115],"motion":[116],"planning":[117],"case":[118],"study":[119],"autonomous":[122],"vehicle":[123],"has":[124],"been":[125],"implemented":[126],"validate":[128],"approach,":[130],"presented":[132],"results":[133],"show":[134],"significant":[135],"improvements":[136],"with":[137],"respect":[138],"safety":[140],"state-of-the-art":[142],"systems.":[147]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-27T08:26:11.824852","created_date":"2025-10-10T00:00:00"}