{"id":"https://openalex.org/W2161929123","doi":"https://doi.org/10.1109/icra.2012.6224807","title":"Automated feedback for unachievable high-level robot behaviors","display_name":"Automated feedback for unachievable high-level robot behaviors","publication_year":2012,"publication_date":"2012-05-01","ids":{"openalex":"https://openalex.org/W2161929123","doi":"https://doi.org/10.1109/icra.2012.6224807","mag":"2161929123"},"language":"en","primary_location":{"id":"doi:10.1109/icra.2012.6224807","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra.2012.6224807","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE International Conference on Robotics and Automation","raw_type":"proceedings-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/A5074189357","display_name":"Vasumathi Raman","orcid":null},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Vasumathi Raman","raw_affiliation_strings":["Department of Computer Science, Cornell University, Ithaca, NY, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Cornell University, Ithaca, NY, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020074157","display_name":"Hadas Kress\u2010Gazit","orcid":"https://orcid.org/0000-0002-7754-1011"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hadas Kress-Gazit","raw_affiliation_strings":["Sibley School of Mechanical and AeroSpace Engineering, Cornell University, Ithaca, NY, USA"],"affiliations":[{"raw_affiliation_string":"Sibley School of Mechanical and AeroSpace Engineering, Cornell University, Ithaca, NY, USA","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5074189357"],"corresponding_institution_ids":["https://openalex.org/I205783295"],"apc_list":null,"apc_paid":null,"fwci":5.5379,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.96393668,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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.9991000294685364,"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.9962000250816345,"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/troubleshooting","display_name":"Troubleshooting","score":0.8605181574821472},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7273392677307129},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.6933606266975403},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5892554521560669},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5469066500663757},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5087664723396301},{"id":"https://openalex.org/keywords/robotics","display_name":"Robotics","score":0.505422830581665},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4288308024406433},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4152927100658417},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.4134473204612732},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.32882195711135864},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.26108598709106445}],"concepts":[{"id":"https://openalex.org/C147494362","wikidata":"https://www.wikidata.org/wiki/Q2078905","display_name":"Troubleshooting","level":2,"score":0.8605181574821472},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7273392677307129},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.6933606266975403},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5892554521560669},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5469066500663757},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5087664723396301},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.505422830581665},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4288308024406433},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4152927100658417},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.4134473204612732},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32882195711135864},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26108598709106445},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/icra.2012.6224807","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra.2012.6224807","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE International Conference on Robotics and Automation","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.475.1717","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.1717","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://users.cms.caltech.edu/~vasu/papers/icra_12.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W21033097","https://openalex.org/W1499127572","https://openalex.org/W1504992226","https://openalex.org/W1517771483","https://openalex.org/W1537589219","https://openalex.org/W1570601698","https://openalex.org/W1603488308","https://openalex.org/W1814905144","https://openalex.org/W1970269621","https://openalex.org/W2001006503","https://openalex.org/W2004796166","https://openalex.org/W2015640848","https://openalex.org/W2016206563","https://openalex.org/W2023808162","https://openalex.org/W2032906824","https://openalex.org/W2099251677","https://openalex.org/W2148446974","https://openalex.org/W2150335178","https://openalex.org/W2151958719","https://openalex.org/W2152924401","https://openalex.org/W2155020620","https://openalex.org/W2171746860","https://openalex.org/W2913459036","https://openalex.org/W3023554972","https://openalex.org/W6629950528","https://openalex.org/W6638292592","https://openalex.org/W6681820689","https://openalex.org/W6777095389"],"related_works":["https://openalex.org/W2089011450","https://openalex.org/W2065963568","https://openalex.org/W2002867377","https://openalex.org/W4366595826","https://openalex.org/W4292103105","https://openalex.org/W2145820695","https://openalex.org/W2143580450","https://openalex.org/W4313496180","https://openalex.org/W3136641154","https://openalex.org/W2991140057"],"abstract_inverted_index":{"One":[0],"of":[1,10,21,46,70,75,97,109],"the":[2,8,58,65,73,113,118,130],"main":[3],"challenges":[4],"in":[5,111],"robotics":[6],"is":[7,53,127],"generation":[9],"controllers":[11,37],"for":[12,32,89,105,133],"autonomous,":[13],"high-level":[14],"robot":[15,36,119,134],"behaviors":[16,41],"comprising":[17],"a":[18,29,44,68,87],"non-trivial":[19],"sequence":[20],"actions.":[22],"Recently,":[23],"formal":[24],"methods":[25],"have":[26],"emerged":[27],"as":[28],"powerful":[30],"tool":[31],"automatically":[33],"generating":[34],"autonomous":[35],"that":[38,56],"guarantee":[39],"desired":[40],"expressed":[42],"by":[43],"class":[45],"temporal":[47],"logic":[48],"specifications.":[49],"However,":[50],"when":[51],"there":[52],"no":[54],"controller":[55],"fulfills":[57],"specification,":[59],"these":[60],"approaches":[61],"do":[62],"not":[63],"provide":[64,101],"user":[66,114],"with":[67],"source":[69],"failure,":[71,110],"making":[72],"troubleshooting":[74],"specifications":[76],"an":[77,91,102,122],"unstructured":[78],"and":[79],"time-consuming":[80],"process.":[81],"In":[82],"this":[83],"paper,":[84],"we":[85],"describe":[86],"procedure":[88],"analyzing":[90],"unsynthesizable":[92],"specification":[93,120],"to":[94,116],"identify":[95],"causes":[96,108],"failure.":[98],"We":[99],"also":[100],"interactive":[103],"game":[104],"exploring":[106],"possible":[107],"which":[112],"attempts":[115],"fulfill":[117],"against":[121],"adversarial":[123],"environment.":[124],"Our":[125],"approach":[126],"implemented":[128],"within":[129],"LTLMoP":[131],"toolkit":[132],"mission":[135],"planning.":[136]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":10},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}