{"id":"https://openalex.org/W1927741686","doi":"https://doi.org/10.1177/0278364915587034","title":"On the minimal revision problem of specification automata","display_name":"On the minimal revision problem of specification automata","publication_year":2015,"publication_date":"2015-08-12","ids":{"openalex":"https://openalex.org/W1927741686","doi":"https://doi.org/10.1177/0278364915587034","mag":"1927741686"},"language":"en","primary_location":{"id":"doi:10.1177/0278364915587034","is_oa":false,"landing_page_url":"https://doi.org/10.1177/0278364915587034","pdf_url":null,"source":{"id":"https://openalex.org/S73484101","display_name":"The International Journal of Robotics Research","issn_l":"0278-3649","issn":["0278-3649","1741-3176"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The International Journal of Robotics Research","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/A5036574492","display_name":"Kangjin Kim","orcid":"https://orcid.org/0000-0002-3966-3309"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kangjin Kim","raw_affiliation_strings":["School of Computing, Informatics and Decision Systems Engineering, Arizona State University, Tempe, AZ, USA","School of Computing, Informatics, and Decision Systems, Engineering, Arizona State University, Tempe, AZ, USA"],"affiliations":[{"raw_affiliation_string":"School of Computing, Informatics and Decision Systems Engineering, Arizona State University, Tempe, AZ, USA","institution_ids":["https://openalex.org/I55732556"]},{"raw_affiliation_string":"School of Computing, Informatics, and Decision Systems, Engineering, Arizona State University, Tempe, AZ, USA","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058732387","display_name":"Georgios Fainekos","orcid":"https://orcid.org/0000-0002-0456-2129"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Georgios Fainekos","raw_affiliation_strings":["School of Computing, Informatics and Decision Systems Engineering, Arizona State University, Tempe, AZ, USA","School of Computing, Informatics, and Decision Systems, Engineering, Arizona State University, Tempe, AZ, USA"],"affiliations":[{"raw_affiliation_string":"School of Computing, Informatics and Decision Systems Engineering, Arizona State University, Tempe, AZ, USA","institution_ids":["https://openalex.org/I55732556"]},{"raw_affiliation_string":"School of Computing, Informatics, and Decision Systems, Engineering, Arizona State University, Tempe, AZ, USA","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103106502","display_name":"Sriram Sankaranarayanan","orcid":"https://orcid.org/0000-0001-7315-4340"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sriram Sankaranarayanan","raw_affiliation_strings":["Department of Computer Science, University of Colorado, Boulder, CO, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Colorado, Boulder, CO, USA","institution_ids":["https://openalex.org/I188538660"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5036574492"],"corresponding_institution_ids":["https://openalex.org/I55732556"],"apc_list":null,"apc_paid":null,"fwci":4.3652,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.94591943,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"34","issue":"12","first_page":"1515","last_page":"1535"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9968000054359436,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9918000102043152,"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/automaton","display_name":"Automaton","score":0.7371633052825928},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.7231267690658569},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.7091118097305298},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.6920859813690186},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6340110301971436},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.43726515769958496},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3850264251232147},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.30702802538871765},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.29201963543891907},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19866016507148743},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.0886109471321106}],"concepts":[{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7371633052825928},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.7231267690658569},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.7091118097305298},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.6920859813690186},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6340110301971436},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.43726515769958496},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3850264251232147},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30702802538871765},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29201963543891907},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19866016507148743},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0886109471321106},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1177/0278364915587034","is_oa":false,"landing_page_url":"https://doi.org/10.1177/0278364915587034","pdf_url":null,"source":{"id":"https://openalex.org/S73484101","display_name":"The International Journal of Robotics Research","issn_l":"0278-3649","issn":["0278-3649","1741-3176"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The International Journal of Robotics Research","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":57,"referenced_works":["https://openalex.org/W21033097","https://openalex.org/W68227499","https://openalex.org/W1424654272","https://openalex.org/W1503780205","https://openalex.org/W1517411378","https://openalex.org/W1521785144","https://openalex.org/W1527405706","https://openalex.org/W1529150600","https://openalex.org/W1544302414","https://openalex.org/W1547562281","https://openalex.org/W1566405224","https://openalex.org/W1603488308","https://openalex.org/W1970269621","https://openalex.org/W1989495662","https://openalex.org/W2001006503","https://openalex.org/W2010802721","https://openalex.org/W2018380024","https://openalex.org/W2023862787","https://openalex.org/W2027175684","https://openalex.org/W2032675177","https://openalex.org/W2037635833","https://openalex.org/W2052695231","https://openalex.org/W2058327921","https://openalex.org/W2068715140","https://openalex.org/W2071592303","https://openalex.org/W2071797744","https://openalex.org/W2074802943","https://openalex.org/W2084485573","https://openalex.org/W2089003125","https://openalex.org/W2089709927","https://openalex.org/W2095678790","https://openalex.org/W2095901198","https://openalex.org/W2099217059","https://openalex.org/W2106305745","https://openalex.org/W2135401383","https://openalex.org/W2148446974","https://openalex.org/W2151958719","https://openalex.org/W2152924401","https://openalex.org/W2155020620","https://openalex.org/W2161457766","https://openalex.org/W2166839364","https://openalex.org/W2181518697","https://openalex.org/W2182989809","https://openalex.org/W2203616022","https://openalex.org/W2293346831","https://openalex.org/W2294573743","https://openalex.org/W2295357975","https://openalex.org/W2395585410","https://openalex.org/W2611243847","https://openalex.org/W2699476589","https://openalex.org/W2752573522","https://openalex.org/W2768634154","https://openalex.org/W2913459036","https://openalex.org/W2993285063","https://openalex.org/W3049098040","https://openalex.org/W3145128584","https://openalex.org/W4205178514"],"related_works":["https://openalex.org/W8302103","https://openalex.org/W3171631314","https://openalex.org/W2606825221","https://openalex.org/W4288076938","https://openalex.org/W2967743314","https://openalex.org/W2674584172","https://openalex.org/W1990892711","https://openalex.org/W2184085865","https://openalex.org/W2110944602","https://openalex.org/W3213722473"],"abstract_inverted_index":{"As":[0],"robots":[1],"are":[2,37,94,174],"being":[3],"integrated":[4],"into":[5],"our":[6],"daily":[7],"lives,":[8],"it":[9,47,77,90],"becomes":[10],"necessary":[11],"to":[12,49,72,99,114,133],"provide":[13,70],"guarantees":[14,23],"on":[15,75],"their":[16],"safe":[17],"and":[18,31],"provably":[19],"correct":[20],"operation.":[21],"Such":[22],"can":[24,58,91,129],"be":[25,50,59],"provided":[26],"using":[27],"automata":[28],"theoretic":[29],"task":[30,56],"mission":[32],"planning":[33],"where":[34,165],"the":[35,62,67,73,84,100,108,116,134,146,154,159,166,171],"requirements":[36,57],"expressed":[38],"as":[39,95,97,115],"temporal":[40],"logic":[41],"specifications.":[42],"However,":[43],"in":[44,139,150],"real-life":[45],"scenarios,":[46],"is":[48,112,121,126],"expected":[51],"that":[52,107,128,149],"not":[53,169],"all":[54],"user":[55,74,102],"realized":[60],"by":[61],"robot.":[63],"In":[64],"such":[65],"cases,":[66],"robot":[68,85],"must":[69],"feedback":[71],"why":[76],"cannot":[78],"accomplish":[79,92],"a":[80],"given":[81],"task.":[82],"Moreover,":[83],"should":[86],"indicate":[87],"what":[88],"tasks":[89],"which":[93,111],"\u201cclose\u201d":[96],"possible":[98],"initial":[101],"intent.":[103],"This":[104],"paper":[105],"establishes":[106],"latter":[109],"problem,":[110,120],"referred":[113],"minimal":[117],"specification":[118],"revision":[119],"NP-complete.":[122],"A":[123],"heuristic":[124,155],"algorithm":[125,147,156,167],"presented":[127],"compute":[130],"good":[131],"approximations":[132],"Minimal":[135],"Revision":[136],"Problem":[137],"(MRP)":[138],"polynomial":[140],"time.":[141],"The":[142],"experimental":[143],"study":[144],"of":[145],"demonstrates":[148],"most":[151],"problem":[152],"instances":[153],"actually":[157],"returns":[158],"optimal":[160,172],"solution.":[161],"Finally,":[162],"some":[163],"cases":[164],"does":[168],"return":[170],"solution":[173],"presented.":[175]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":5},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":8},{"year":2017,"cited_by_count":4}],"updated_date":"2026-03-12T08:34:05.389933","created_date":"2025-10-10T00:00:00"}