{"id":"https://openalex.org/W4392693745","doi":"https://doi.org/10.1109/mitp.2024.3356158","title":"Formal Methods for Autonomous Vehicles","display_name":"Formal Methods for Autonomous Vehicles","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4392693745","doi":"https://doi.org/10.1109/mitp.2024.3356158"},"language":"en","primary_location":{"id":"doi:10.1109/mitp.2024.3356158","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/mitp.2024.3356158","pdf_url":null,"source":{"id":"https://openalex.org/S86192639","display_name":"IT Professional","issn_l":"1520-9202","issn":["1520-9202","1941-045X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IT Professional","raw_type":"journal-article"},"type":"article","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/A5068963019","display_name":"Gregory Provan","orcid":"https://orcid.org/0000-0003-3678-046X"},"institutions":[{"id":"https://openalex.org/I27577105","display_name":"University College Cork","ror":"https://ror.org/03265fv13","country_code":"IE","type":"education","lineage":["https://openalex.org/I27577105"]}],"countries":["IE"],"is_corresponding":true,"raw_author_name":"Gregory Provan","raw_affiliation_strings":["University College Cork, Cork, Ireland"],"raw_orcid":"https://orcid.org/0000-0003-3678-046X","affiliations":[{"raw_affiliation_string":"University College Cork, Cork, Ireland","institution_ids":["https://openalex.org/I27577105"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5068963019"],"corresponding_institution_ids":["https://openalex.org/I27577105"],"apc_list":null,"apc_paid":null,"fwci":1.7293,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.84986845,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"26","issue":"1","first_page":"50","last_page":"56"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9945999979972839,"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.9945999979972839,"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/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9801999926567078,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.6131634712219238},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3354388475418091}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6131634712219238},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3354388475418091}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mitp.2024.3356158","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/mitp.2024.3356158","pdf_url":null,"source":{"id":"https://openalex.org/S86192639","display_name":"IT Professional","issn_l":"1520-9202","issn":["1520-9202","1941-045X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IT Professional","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4151467990","display_name":null,"funder_award_id":"13/RC/2094 P2","funder_id":"https://openalex.org/F4320312777","funder_display_name":"Santa Fe Institute"}],"funders":[{"id":"https://openalex.org/F4320312777","display_name":"Santa Fe Institute","ror":"https://ror.org/01arysc35"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W304455224","https://openalex.org/W1547304883","https://openalex.org/W2022152767","https://openalex.org/W2104291969","https://openalex.org/W2754005141","https://openalex.org/W2772589676","https://openalex.org/W2789413254","https://openalex.org/W2796163371","https://openalex.org/W2805382175","https://openalex.org/W2898009658","https://openalex.org/W2912445127","https://openalex.org/W2958089299","https://openalex.org/W2962752734","https://openalex.org/W2980176594","https://openalex.org/W2981427346","https://openalex.org/W2992046967","https://openalex.org/W3000280594","https://openalex.org/W3011102739","https://openalex.org/W3042769859","https://openalex.org/W3045897451","https://openalex.org/W3119328543","https://openalex.org/W3121993166","https://openalex.org/W3135469506","https://openalex.org/W3167439252","https://openalex.org/W3184465860","https://openalex.org/W3201271601","https://openalex.org/W4206608377","https://openalex.org/W4221041279","https://openalex.org/W4225555528","https://openalex.org/W4242741415","https://openalex.org/W4285303570","https://openalex.org/W4292066939","https://openalex.org/W4312868350","https://openalex.org/W4360868502","https://openalex.org/W4362513284","https://openalex.org/W6788623726"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"This":[0],"article":[1],"describes":[2],"the":[3,22,31,57,67],"impact":[4],"that":[5],"autonomous":[6,35,89],"vehicle":[7],"operation":[8,24,33],"will":[9,84],"have":[10],"on":[11,53],"a":[12],"range":[13],"of":[14,25,30,34,60,69],"domains":[15],"and":[16,49,81],"how":[17,75,82],"formal":[18,54,76],"methods":[19,77],"can":[20],"guarantee":[21],"safe":[23,32],"those":[26],"vehicles.":[27,90],"The":[28],"verification":[29,50,71],"systems":[36,39],"(e.g.,":[37,63],"autopilot":[38],"for":[40,64,87],"commercial":[41],"aircraft)":[42],"was":[43],"traditionally":[44],"done":[45],"using":[46],"precise":[47],"models":[48],"software":[51],"based":[52],"methods.":[55],"However,":[56],"increasing":[58],"use":[59,68],"machine-learning-based":[61],"subsystems":[62],"perception)":[65],"requires":[66],"different":[70],"tools.":[72],"We":[73],"describe":[74],"are":[78],"used":[79],"today":[80],"they":[83],"be":[85],"adapted":[86],"future":[88]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}