{"id":"https://openalex.org/W4414431979","doi":"https://doi.org/10.1109/case58245.2025.11163815","title":"Robust Temporal Logic Planning Under Contingency Constraints","display_name":"Robust Temporal Logic Planning Under Contingency Constraints","publication_year":2025,"publication_date":"2025-08-17","ids":{"openalex":"https://openalex.org/W4414431979","doi":"https://doi.org/10.1109/case58245.2025.11163815"},"language":"en","primary_location":{"id":"doi:10.1109/case58245.2025.11163815","is_oa":false,"landing_page_url":"https://doi.org/10.1109/case58245.2025.11163815","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 21st International Conference on Automation Science and Engineering (CASE)","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/A5005401257","display_name":"Serdar Y\u00fcksel","orcid":"https://orcid.org/0000-0001-6099-5001"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sad\u0131k Bera Y\u00fcksel","raw_affiliation_strings":["Northeastern University,Department of Electrical and Computer Engineering"],"affiliations":[{"raw_affiliation_string":"Northeastern University,Department of Electrical and Computer Engineering","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103563398","display_name":"Azizollah Taheri","orcid":null},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Azizollah Taheri","raw_affiliation_strings":["Northeastern University,Department of Electrical and Computer Engineering"],"affiliations":[{"raw_affiliation_string":"Northeastern University,Department of Electrical and Computer Engineering","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041762786","display_name":"Yasin Yaz\u0131c\u0131o\u011flu","orcid":"https://orcid.org/0000-0001-6957-6831"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yasin Yaz\u0131c\u0131o\u011flu","raw_affiliation_strings":["Northeastern University,Departments of Mechanical and Industrial Engineering and Electrical and Computer Engineering"],"affiliations":[{"raw_affiliation_string":"Northeastern University,Departments of Mechanical and Industrial Engineering and Electrical and Computer Engineering","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053550436","display_name":"Derya Aksaray","orcid":"https://orcid.org/0000-0003-4236-9116"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Derya Aksaray","raw_affiliation_strings":["Northeastern University,Department of Electrical and Computer Engineering"],"affiliations":[{"raw_affiliation_string":"Northeastern University,Department of Electrical and Computer Engineering","institution_ids":["https://openalex.org/I12912129"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5005401257"],"corresponding_institution_ids":["https://openalex.org/I12912129"],"apc_list":null,"apc_paid":null,"fwci":2.8331,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.9250883,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"30","last_page":"36"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9980999827384949,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9980999827384949,"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/T10142","display_name":"Formal Methods in Verification","score":0.993399977684021,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9829000234603882,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/task","display_name":"Task (project management)","score":0.7351999878883362},{"id":"https://openalex.org/keywords/contingency","display_name":"Contingency","score":0.6830999851226807},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5407000184059143},{"id":"https://openalex.org/keywords/time-horizon","display_name":"Time horizon","score":0.4880000054836273},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4860999882221222},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4683000147342682},{"id":"https://openalex.org/keywords/unexpected-events","display_name":"Unexpected events","score":0.439300000667572},{"id":"https://openalex.org/keywords/mode","display_name":"Mode (computer interface)","score":0.429500013589859},{"id":"https://openalex.org/keywords/face","display_name":"Face (sociological concept)","score":0.3732999861240387}],"concepts":[{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.7351999878883362},{"id":"https://openalex.org/C97508593","wikidata":"https://www.wikidata.org/wiki/Q1359069","display_name":"Contingency","level":2,"score":0.6830999851226807},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6452000141143799},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5407000184059143},{"id":"https://openalex.org/C28761237","wikidata":"https://www.wikidata.org/wiki/Q7805321","display_name":"Time horizon","level":2,"score":0.4880000054836273},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4860999882221222},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4683000147342682},{"id":"https://openalex.org/C2776544517","wikidata":"https://www.wikidata.org/wiki/Q189447","display_name":"Unexpected events","level":2,"score":0.439300000667572},{"id":"https://openalex.org/C48677424","wikidata":"https://www.wikidata.org/wiki/Q6888088","display_name":"Mode (computer interface)","level":2,"score":0.429500013589859},{"id":"https://openalex.org/C2779304628","wikidata":"https://www.wikidata.org/wiki/Q3503480","display_name":"Face (sociological concept)","level":2,"score":0.3732999861240387},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3718999922275543},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.33149999380111694},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.30979999899864197},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.30720001459121704},{"id":"https://openalex.org/C159176650","wikidata":"https://www.wikidata.org/wiki/Q43261","display_name":"Horizon","level":2,"score":0.30649998784065247},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.3050999939441681},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.2955000102519989},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.29510000348091125},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.29260000586509705},{"id":"https://openalex.org/C14331377","wikidata":"https://www.wikidata.org/wiki/Q2340208","display_name":"Contingency plan","level":2,"score":0.29120001196861267},{"id":"https://openalex.org/C2778751112","wikidata":"https://www.wikidata.org/wiki/Q835016","display_name":"Window (computing)","level":2,"score":0.27379998564720154},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.27140000462532043},{"id":"https://openalex.org/C112758219","wikidata":"https://www.wikidata.org/wiki/Q16038819","display_name":"Duration (music)","level":2,"score":0.25999999046325684},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.2567000091075897},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.25529998540878296},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.2549999952316284}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/case58245.2025.11163815","is_oa":false,"landing_page_url":"https://doi.org/10.1109/case58245.2025.11163815","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 21st International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1499727625","https://openalex.org/W2005443352","https://openalex.org/W2091682553","https://openalex.org/W2097838240","https://openalex.org/W2110579257","https://openalex.org/W2124623089","https://openalex.org/W2176215692","https://openalex.org/W2416117881","https://openalex.org/W2528188107","https://openalex.org/W2905277694","https://openalex.org/W2964040381","https://openalex.org/W3011250830","https://openalex.org/W3129402851","https://openalex.org/W3131212311","https://openalex.org/W3161433433","https://openalex.org/W3205312597","https://openalex.org/W4296823901","https://openalex.org/W4389666137","https://openalex.org/W4392646696"],"related_works":[],"abstract_inverted_index":{"In":[0,41],"dynamic":[1],"and":[2,31,63,103,141,175],"uncertain":[3],"environments,":[4],"robots":[5],"are":[6],"often":[7],"required":[8],"not":[9],"only":[10],"to":[11,18,21,23,58,65,68,109,134],"complete":[12],"their":[13],"primary":[14,93],"tasks":[15],"but":[16],"also":[17],"be":[19,66,110],"able":[20,67],"switch":[22],"a":[24,29,55,60,86,96,112,122,126],"contingency":[25,107,142,146],"mode":[26],"that":[27],"facilitates":[28],"safe":[30,113],"effective":[32],"response":[33],"in":[34,71,115],"the":[35,46,72,80,83,92,106,145,151,160,167,170],"face":[36,73],"of":[37,48,74,82,169],"an":[38,75,131],"unpredictable":[39],"event.":[40,77],"this":[42],"paper,":[43],"we":[44,104],"address":[45],"problem":[47],"synthesizing":[49],"optimal":[50,136],"high-level":[51],"control":[52],"policies":[53,137],"for":[54,138],"robot":[56,84],"1)":[57],"satisfy":[59],"desired":[61,127],"task":[62,94,139,152],"2)":[64],"respond":[69],"safely":[70],"unexpected":[76],"We":[78,90,129,165],"model":[79],"dynamics":[81],"as":[85,95],"Stochastic":[87],"Transition":[88],"System.":[89],"express":[91],"Time":[97],"Window":[98],"Temporal":[99],"Logic":[100],"(TWTL)":[101],"specification,":[102],"consider":[105],"behavior":[108,147],"reaching":[111],"region":[114],"at":[116],"most":[117],"k":[118],"time":[119],"steps":[120],"with":[121],"probability":[123,154],"greater":[124],"than":[125],"threshold.":[128],"propose":[130],"automata-theoretic":[132],"framework":[133],"compute":[135],"satisfaction":[140,153],"behavior.":[143],"While":[144],"is":[148,155],"always":[149],"ensured,":[150],"maintained":[156],"by":[157],"minimally":[158],"extending":[159],"mission":[161],"horizon":[162],"when":[163],"necessary.":[164],"demonstrate":[166],"performance":[168],"proposed":[171],"method":[172],"through":[173],"simulations":[174],"experiments.":[176]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-10-10T00:00:00"}