{"id":"https://openalex.org/W7128612542","doi":"https://doi.org/10.1109/tro.2026.3663976","title":"Formal Specification and Control Synthesis of Autonomous Robots Using Rulebooks","display_name":"Formal Specification and Control Synthesis of Autonomous Robots Using Rulebooks","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7128612542","doi":"https://doi.org/10.1109/tro.2026.3663976"},"language":"en","primary_location":{"id":"doi:10.1109/tro.2026.3663976","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tro.2026.3663976","pdf_url":null,"source":{"id":"https://openalex.org/S144620930","display_name":"IEEE Transactions on Robotics","issn_l":"1552-3098","issn":["1552-3098","1546-1904","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/A5017176660","display_name":"Tichakorn Wongpiromsarn","orcid":"https://orcid.org/0000-0002-3977-122X"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tichakorn Wongpiromsarn","raw_affiliation_strings":["Department of Computer Science, Iowa State University, Ames, IA, USA"],"raw_orcid":"https://orcid.org/0000-0002-3977-122X","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Iowa State University, Ames, IA, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038650994","display_name":"Konstantin Slutsky","orcid":"https://orcid.org/0000-0003-2426-7722"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Konstantin Slutsky","raw_affiliation_strings":["Department of Mathematics, Iowa State University, Ames, IA, USA"],"raw_orcid":"https://orcid.org/0000-0003-2426-7722","affiliations":[{"raw_affiliation_string":"Department of Mathematics, Iowa State University, Ames, IA, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069358108","display_name":"Emilio Frazzoli","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Emilio Frazzoli","raw_affiliation_strings":["Institute for Dynamic Systems and Control, ETH Z&#x00FC;rich, Z&#x00FC;rich, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-0505-1400","affiliations":[{"raw_affiliation_string":"Institute for Dynamic Systems and Control, ETH Z&#x00FC;rich, Z&#x00FC;rich, Switzerland","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19234835,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"42","issue":null,"first_page":"1330","last_page":"1350"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.6841999888420105,"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.6841999888420105,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.11460000276565552,"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"}},{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.07169999927282333,"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/leverage","display_name":"Leverage (statistics)","score":0.684499979019165},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6833999752998352},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5444999933242798},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.48190000653266907},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.4674000144004822},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.42489999532699585},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4065000116825104},{"id":"https://openalex.org/keywords/pareto-optimal","display_name":"Pareto optimal","score":0.4025000035762787},{"id":"https://openalex.org/keywords/autonomous-agent","display_name":"Autonomous agent","score":0.4018999934196472}],"concepts":[{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.684499979019165},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6833999752998352},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6550999879837036},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5444999933242798},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.48190000653266907},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.4674000144004822},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.42489999532699585},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4065000116825104},{"id":"https://openalex.org/C2986314615","wikidata":"https://www.wikidata.org/wiki/Q36829","display_name":"Pareto optimal","level":3,"score":0.4025000035762787},{"id":"https://openalex.org/C13687954","wikidata":"https://www.wikidata.org/wiki/Q4826847","display_name":"Autonomous agent","level":2,"score":0.4018999934196472},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.3817000091075897},{"id":"https://openalex.org/C114073186","wikidata":"https://www.wikidata.org/wiki/Q2631895","display_name":"Automated planning and scheduling","level":2,"score":0.37380000948905945},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3709000051021576},{"id":"https://openalex.org/C137635306","wikidata":"https://www.wikidata.org/wiki/Q182667","display_name":"Pareto principle","level":2,"score":0.37049999833106995},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.3700999915599823},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3555000126361847},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3497999906539917},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3052999973297119},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.3043999969959259},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.2946999967098236},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.28529998660087585},{"id":"https://openalex.org/C68781425","wikidata":"https://www.wikidata.org/wiki/Q2052203","display_name":"Multi-objective optimization","level":2,"score":0.2728999853134155},{"id":"https://openalex.org/C124527596","wikidata":"https://www.wikidata.org/wiki/Q17029359","display_name":"Hierarchical control system","level":3,"score":0.25769999623298645},{"id":"https://openalex.org/C2780682718","wikidata":"https://www.wikidata.org/wiki/Q16321575","display_name":"Production control","level":3,"score":0.2529999911785126},{"id":"https://openalex.org/C2985598853","wikidata":"https://www.wikidata.org/wiki/Q644785","display_name":"Formal synthesis","level":2,"score":0.2513999938964844},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.25110000371932983}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tro.2026.3663976","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tro.2026.3663976","pdf_url":null,"source":{"id":"https://openalex.org/S144620930","display_name":"IEEE Transactions on Robotics","issn_l":"1552-3098","issn":["1552-3098","1546-1904","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"},{"id":"pmh:oai:dr.lib.iastate.edu:20.500.12876/erLKjknv","is_oa":false,"landing_page_url":"https://dr.lib.iastate.edu/handle/20.500.12876/erLKjknv","pdf_url":null,"source":{"id":"https://openalex.org/S4377196104","display_name":"Iowa State University Digital Repository (Iowa State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I173911158","host_organization_name":"Iowa State University","host_organization_lineage":["https://openalex.org/I173911158"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://doi.org/10.1109/TRO.2026.3663976","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3602676255","display_name":null,"funder_award_id":"CNS-1446151","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G743232781","display_name":null,"funder_award_id":"DMS-2153981","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8702038187","display_name":null,"funder_award_id":"CNS-2211141","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":77,"referenced_works":["https://openalex.org/W1424654272","https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W1561001077","https://openalex.org/W1927741686","https://openalex.org/W1967294943","https://openalex.org/W1967733266","https://openalex.org/W1969483458","https://openalex.org/W1970269621","https://openalex.org/W1971086298","https://openalex.org/W1973428369","https://openalex.org/W1978100913","https://openalex.org/W1985296887","https://openalex.org/W1990023680","https://openalex.org/W1998259641","https://openalex.org/W1998716564","https://openalex.org/W2008403281","https://openalex.org/W2016206563","https://openalex.org/W2035134636","https://openalex.org/W2048563056","https://openalex.org/W2049399166","https://openalex.org/W2051956023","https://openalex.org/W2052229697","https://openalex.org/W2056864430","https://openalex.org/W2073548775","https://openalex.org/W2088716439","https://openalex.org/W2088839279","https://openalex.org/W2089709927","https://openalex.org/W2092884371","https://openalex.org/W2095274657","https://openalex.org/W2104241562","https://openalex.org/W2117927826","https://openalex.org/W2124623089","https://openalex.org/W2150335178","https://openalex.org/W2155327357","https://openalex.org/W2163941698","https://openalex.org/W2167799541","https://openalex.org/W2169528473","https://openalex.org/W2182989809","https://openalex.org/W2560504659","https://openalex.org/W2573311857","https://openalex.org/W2588802774","https://openalex.org/W2602257487","https://openalex.org/W2737479107","https://openalex.org/W2749680651","https://openalex.org/W2772485446","https://openalex.org/W2841721725","https://openalex.org/W2889123676","https://openalex.org/W2905277694","https://openalex.org/W2907137852","https://openalex.org/W2964131705","https://openalex.org/W2968120782","https://openalex.org/W2970963308","https://openalex.org/W2972486407","https://openalex.org/W2990318036","https://openalex.org/W3010924044","https://openalex.org/W3023093582","https://openalex.org/W3023554972","https://openalex.org/W3088162309","https://openalex.org/W3120137187","https://openalex.org/W3128363145","https://openalex.org/W3133387630","https://openalex.org/W3145799606","https://openalex.org/W3163290297","https://openalex.org/W3173608822","https://openalex.org/W3185746472","https://openalex.org/W3186243269","https://openalex.org/W3195336386","https://openalex.org/W3199012945","https://openalex.org/W4223928772","https://openalex.org/W4247274889","https://openalex.org/W4312954736","https://openalex.org/W4376456312","https://openalex.org/W4385764049","https://openalex.org/W4400645623","https://openalex.org/W4401416728","https://openalex.org/W4413925610"],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,90,115,135],"formal":[4,120],"specification":[5],"framework":[6,117],"for":[7],"planning":[8,111,175],"and":[9,31,60,63,76,109,112,124,133,159,177],"control":[10,66,122],"of":[11,18,35,84,142,182],"autonomous":[12],"robots,":[13],"focusing":[14],"on":[15],"the":[16,51,81,94,179],"challenge":[17],"managing":[19],"complex":[20,40,173],"trade-offs":[21],"among":[22],"multiple,":[23],"potentially":[24],"conflicting":[25],"objectives.":[26],"These":[27],"include":[28,172],"hierarchical":[29],"relationships":[30,62],"non-comparable":[32],"objectives,":[33],"some":[34],"which":[36,71,79],"may":[37],"be":[38,42],"too":[39],"to":[41,56,89,93,154,186],"captured":[43],"by":[44],"standard":[45],"additive":[46],"cost":[47],"functions.":[48],"We":[49,100],"leverage":[50],"<italic":[52],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[53],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">rulebook</i>":[54],"formalism":[55],"represent":[57],"such":[58],"objectives":[59,143],"their":[61],"formulate":[64],"two":[65],"synthesis":[67],"problems:":[68],"single-strategy":[69],"synthesis,":[70,78,149],"seeks":[72],"one":[73],"optimal":[74,85,157],"strategy,":[75],"complete":[77,148],"computes":[80],"full":[82],"set":[83],"strategies":[86],"with":[87],"respect":[88],"rulebook,":[91],"analogous":[92],"Pareto":[95],"front":[96],"in":[97],"multi-objective":[98,174],"planning.":[99],"show":[101],"that":[102,138,171],"our":[103,183],"formulation":[104],"generalizes":[105],"existing":[106,187],"temporal":[107],"logic-based":[108],"optimization-based":[110],"control,":[113],"providing":[114],"unifying":[116],"across":[118],"robotics,":[119],"methods,":[121],"theory,":[123],"operations":[125],"research.":[126],"For":[127,147],"single-strategy,":[128],"we":[129,150,167],"identify":[130],"tractable":[131],"subclasses":[132],"present":[134,168],"polynomial-time":[136],"algorithm":[137,153],"accommodates":[139],"richer":[140],"combinations":[141],"than":[144],"prior":[145],"work.":[146],"introduce":[151],"an":[152],"compute":[155],"all":[156],"solutions":[158],"analyze":[160],"its":[161],"computational":[162],"complexity.":[163],"In":[164],"both":[165],"cases,":[166],"case":[169],"studies":[170],"problems":[176],"demonstrate":[178],"practical":[180],"effectiveness":[181],"approach":[184],"compared":[185],"methods.":[188]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2026-02-12T00:00:00"}