{"id":"https://openalex.org/W4323914384","doi":"https://doi.org/10.1109/tro.2023.3247951","title":"Rules of the Road: Formal Guarantees for Autonomous Vehicles With Behavioral Contract Design","display_name":"Rules of the Road: Formal Guarantees for Autonomous Vehicles With Behavioral Contract Design","publication_year":2023,"publication_date":"2023-03-10","ids":{"openalex":"https://openalex.org/W4323914384","doi":"https://doi.org/10.1109/tro.2023.3247951"},"language":"en","primary_location":{"id":"doi:10.1109/tro.2023.3247951","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tro.2023.3247951","pdf_url":null,"source":{"id":"https://openalex.org/S144620930","display_name":"IEEE Transactions on Robotics","issn_l":"1552-3098","issn":["1552-3098","1941-0468"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Robotics","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/A5082609278","display_name":"Karena X. Cai","orcid":"https://orcid.org/0000-0002-8392-4158"},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Karena X. Cai","raw_affiliation_strings":["California Institute of Technology, Pasadena, CA, USA"],"affiliations":[{"raw_affiliation_string":"California Institute of Technology, Pasadena, CA, USA","institution_ids":["https://openalex.org/I122411786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062555067","display_name":"Tung Phan-Minh","orcid":"https://orcid.org/0000-0002-1403-5197"},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tung Phan-Minh","raw_affiliation_strings":["California Institute of Technology, Pasadena, CA, USA"],"affiliations":[{"raw_affiliation_string":"California Institute of Technology, Pasadena, CA, USA","institution_ids":["https://openalex.org/I122411786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031408324","display_name":"Soon\u2010Jo Chung","orcid":"https://orcid.org/0000-0002-6657-3907"},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Soon-Jo Chung","raw_affiliation_strings":["California Institute of Technology, Pasadena, CA, USA"],"affiliations":[{"raw_affiliation_string":"California Institute of Technology, Pasadena, CA, USA","institution_ids":["https://openalex.org/I122411786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068600217","display_name":"Richard M. Murray","orcid":"https://orcid.org/0000-0002-5785-7481"},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Richard M. Murray","raw_affiliation_strings":["California Institute of Technology, Pasadena, CA, USA"],"affiliations":[{"raw_affiliation_string":"California Institute of Technology, Pasadena, CA, USA","institution_ids":["https://openalex.org/I122411786"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5082609278"],"corresponding_institution_ids":["https://openalex.org/I122411786"],"apc_list":null,"apc_paid":null,"fwci":0.9407,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.73522885,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"39","issue":"3","first_page":"1853","last_page":"1872"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10524","display_name":"Traffic control and management","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10524","display_name":"Traffic control and management","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9922999739646912,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9897000193595886,"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/liveness","display_name":"Liveness","score":0.8339780569076538},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7428274750709534},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6821456551551819},{"id":"https://openalex.org/keywords/design-by-contract","display_name":"Design by contract","score":0.6419365406036377},{"id":"https://openalex.org/keywords/autonomous-agent","display_name":"Autonomous agent","score":0.5931094884872437},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.49720147252082825},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.43883687257766724},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.41016411781311035},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.2950541377067566},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2874700427055359},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.17980271577835083},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13795709609985352},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.12192648649215698}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.8339780569076538},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7428274750709534},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6821456551551819},{"id":"https://openalex.org/C80291951","wikidata":"https://www.wikidata.org/wiki/Q1200691","display_name":"Design by contract","level":5,"score":0.6419365406036377},{"id":"https://openalex.org/C13687954","wikidata":"https://www.wikidata.org/wiki/Q4826847","display_name":"Autonomous agent","level":2,"score":0.5931094884872437},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.49720147252082825},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.43883687257766724},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.41016411781311035},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2950541377067566},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2874700427055359},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.17980271577835083},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13795709609985352},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.12192648649215698},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tro.2023.3247951","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tro.2023.3247951","pdf_url":null,"source":{"id":"https://openalex.org/S144620930","display_name":"IEEE Transactions on Robotics","issn_l":"1552-3098","issn":["1552-3098","1941-0468"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Robotics","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3147657614","display_name":null,"funder_award_id":"CNS-1545126","funder_id":"https://openalex.org/F4320335353","funder_display_name":"National Science Foundation of Sri Lanka"}],"funders":[{"id":"https://openalex.org/F4320335353","display_name":"National Science Foundation of Sri Lanka","ror":"https://ror.org/010xaa060"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":67,"referenced_works":["https://openalex.org/W206679605","https://openalex.org/W1484740474","https://openalex.org/W1498432697","https://openalex.org/W1512912754","https://openalex.org/W1574928409","https://openalex.org/W1608490958","https://openalex.org/W1862398452","https://openalex.org/W1967733266","https://openalex.org/W1977070092","https://openalex.org/W1985091167","https://openalex.org/W1986112535","https://openalex.org/W2005443352","https://openalex.org/W2009070933","https://openalex.org/W2021774774","https://openalex.org/W2023721993","https://openalex.org/W2031522732","https://openalex.org/W2032100464","https://openalex.org/W2097439419","https://openalex.org/W2097545165","https://openalex.org/W2140542425","https://openalex.org/W2149551746","https://openalex.org/W2155327357","https://openalex.org/W2156553949","https://openalex.org/W2166656159","https://openalex.org/W2282034761","https://openalex.org/W2290104316","https://openalex.org/W2291198157","https://openalex.org/W2319542951","https://openalex.org/W2343568200","https://openalex.org/W2411577903","https://openalex.org/W2463627759","https://openalex.org/W2530849036","https://openalex.org/W2599509318","https://openalex.org/W2735318784","https://openalex.org/W2749747771","https://openalex.org/W2783963507","https://openalex.org/W2788115019","https://openalex.org/W2798149936","https://openalex.org/W2801512158","https://openalex.org/W2892373362","https://openalex.org/W2909414402","https://openalex.org/W2963898834","https://openalex.org/W2968120782","https://openalex.org/W2969076652","https://openalex.org/W2970796651","https://openalex.org/W2970963308","https://openalex.org/W2990682993","https://openalex.org/W2997173863","https://openalex.org/W3012458970","https://openalex.org/W3048422354","https://openalex.org/W3186243269","https://openalex.org/W3200493159","https://openalex.org/W4205178436","https://openalex.org/W4246911711","https://openalex.org/W4287586572","https://openalex.org/W4289389788","https://openalex.org/W4297781990","https://openalex.org/W4301501993","https://openalex.org/W6628916341","https://openalex.org/W6696380822","https://openalex.org/W6699840735","https://openalex.org/W6749032143","https://openalex.org/W6751693423","https://openalex.org/W6754089393","https://openalex.org/W6772230426","https://openalex.org/W6840571238","https://openalex.org/W6921623379"],"related_works":["https://openalex.org/W2081199208","https://openalex.org/W1565271071","https://openalex.org/W3349016","https://openalex.org/W3160870209","https://openalex.org/W4388511636","https://openalex.org/W4245064363","https://openalex.org/W2114366801","https://openalex.org/W2515900217","https://openalex.org/W2001644383","https://openalex.org/W4323914384"],"abstract_inverted_index":{"The":[0,24,103,167],"problem":[1,29],"of":[2,16,26,50,59,84,95,142,169,175,180,182],"safe":[3],"and":[4,91,122,158,186],"fair":[5],"conflict":[6],"resolution":[7],"among":[8],"inertial,":[9],"distributed":[10],"agents\u2014particularly":[11],"in":[12,67,99,190],"highly":[13],"interactive":[14],"settings\u2014is":[15],"paramount":[17],"importance":[18],"to":[19,33,39,55,117,135,147],"the":[20,34,48,68,89,114,143,170,183],"autonomous":[21],"vehicles":[22],"industry.":[23],"difficulty":[25],"solving":[27],"this":[28,73,148],"can":[30,87,151],"be":[31],"attributed":[32],"fact":[35],"that":[36,86,113,126],"agents":[37,66,85,97,144,162],"have":[38],"reason":[40],"over":[41],"other":[42],"agents'":[43],"complex":[44],"behaviors.":[45],"We":[46,177],"propose":[47],"idea":[49],"using":[51],"a":[52,57,77,81],"behavioral":[53,78,104,111,184],"contract":[54,79,105,171,185],"capture":[56],"set":[58],"explicitly":[60],"defined":[61],"assumptions":[62],"about":[63],"how":[64],"all":[65,96,141,155,161],"environment":[69],"make":[70],"decisions.":[71],"In":[72],"article,":[74],"we":[75,150],"present":[76],"for":[80,160],"specific":[82],"class":[83],"guarantee":[88,152],"safety":[90,153],"liveness":[92,159],"(i.e.,":[93],"progress)":[94],"operating":[98],"accordance":[100],"with":[101],"it.":[102],"has":[106,131],"two":[107],"main":[108],"components\u2014an":[109],"ordered":[110],"rulebook":[112],"agent":[115,130],"uses":[116],"select":[118],"its":[119,137],"intended":[120,138],"action":[121],"some":[123],"additional":[124],"constraints":[125],"define":[127],"when":[128],"an":[129],"precedence":[132],"(or":[133],"not)":[134],"take":[136],"action.":[139],"If":[140],"act":[145],"according":[146],"contract,":[149],"under":[154,163],"traffic":[156,165],"conditions":[157],"\u201csparse\u201d":[164],"conditions.":[166],"formalism":[168],"also":[172],"enables":[173],"assignment":[174],"blame.":[176],"provide":[178],"proofs":[179],"correctness":[181],"validate":[187],"our":[188],"results":[189],"simulation.":[191]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}