{"id":"https://openalex.org/W4401416727","doi":"https://doi.org/10.1109/icra57147.2024.10611704","title":"Robust MITL planning under uncertain navigation times","display_name":"Robust MITL planning under uncertain navigation times","publication_year":2024,"publication_date":"2024-05-13","ids":{"openalex":"https://openalex.org/W4401416727","doi":"https://doi.org/10.1109/icra57147.2024.10611704"},"language":"en","primary_location":{"id":"doi:10.1109/icra57147.2024.10611704","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/icra57147.2024.10611704","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5001281242","display_name":"Alexis Linard","orcid":"https://orcid.org/0000-0001-7258-1527"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Alexis Linard","raw_affiliation_strings":["KTH Royal Institute of Technology,Stockholm,Sweden,SE-100 44"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KTH Royal Institute of Technology,Stockholm,Sweden,SE-100 44","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063329355","display_name":"Anna Gautier","orcid":null},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Anna Gautier","raw_affiliation_strings":["KTH Royal Institute of Technology,Stockholm,Sweden,SE-100 44"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KTH Royal Institute of Technology,Stockholm,Sweden,SE-100 44","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091843764","display_name":"Daniel Duberg","orcid":"https://orcid.org/0000-0003-4815-9689"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Daniel Duberg","raw_affiliation_strings":["KTH Royal Institute of Technology,Stockholm,Sweden,SE-100 44"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KTH Royal Institute of Technology,Stockholm,Sweden,SE-100 44","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042698317","display_name":"Jana T\u016fmov\u00e1","orcid":"https://orcid.org/0000-0003-4173-2593"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Jana Tumova","raw_affiliation_strings":["KTH Royal Institute of Technology,Stockholm,Sweden,SE-100 44"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KTH Royal Institute of Technology,Stockholm,Sweden,SE-100 44","institution_ids":["https://openalex.org/I86987016"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I86987016"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"2498","last_page":"2504"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9968000054359436,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5912298560142517}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5912298560142517}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icra57147.2024.10611704","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/icra57147.2024.10611704","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6100000143051147,"display_name":"Climate action","id":"https://metadata.un.org/sdg/13"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320316851","display_name":"KT","ror":"https://ror.org/043n4tt17"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1533557569","https://openalex.org/W2026629052","https://openalex.org/W2092884371","https://openalex.org/W2124339220","https://openalex.org/W2124623089","https://openalex.org/W2151958719","https://openalex.org/W2737479107","https://openalex.org/W3217403887","https://openalex.org/W4247274889","https://openalex.org/W4286001025","https://openalex.org/W4298023569","https://openalex.org/W4310428737","https://openalex.org/W4312460205","https://openalex.org/W4314946898","https://openalex.org/W6712964277","https://openalex.org/W6847359932"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"In":[0,39],"environments":[1,50],"like":[2],"offices,":[3],"the":[4,29,36,44,84,88,93,108,127,147,156,184],"duration":[5],"of":[6,46,87,129,186,192],"a":[7,20,61,80,97,101,113,167],"robot\u2019s":[8,89],"navigation":[9,119,148],"between":[10,150],"two":[11],"locations":[12,152],"may":[13,22],"vary":[14,124],"over":[15,112,159,178],"time.":[16],"For":[17],"instance,":[18],"reaching":[19],"kitchen":[21],"take":[23],"more":[24],"time":[25,73,128],"during":[26],"lunchtime":[27],"since":[28],"corridors":[30],"are":[31,121,153],"crowded":[32],"with":[33,51],"people":[34],"heading":[35],"same":[37],"way.":[38],"this":[40,134],"work,":[41],"we":[42,99,132,165],"address":[43],"problem":[45,111],"routing":[47],"in":[48,54,142,190],"such":[49],"tasks":[52],"expressed":[53],"Metric":[55],"Interval":[56],"Temporal":[57],"Logic":[58],"(MITL)":[59],"\u2013":[60],"rich":[62],"robot":[63],"task":[64,109],"specification":[65],"language":[66],"that":[67,82,175],"allows":[68],"us":[69],"to":[70,78,106,136],"capture":[71],"explicit":[72],"requirements.":[74],"Our":[75],"objective":[76],"is":[77,162],"find":[79],"strategy":[81],"maximizes":[83],"temporal":[85,140,180],"robustness":[86,141],"MITL":[90,139,179],"task.":[91],"As":[92],"first":[94],"step":[95],"towards":[96],"solution,":[98],"define":[100],"Mixed-integer":[102],"linear":[103],"programming":[104],"approach":[105],"solving":[107],"planning":[110,188],"Varying":[114],"Weighted":[115],"Transition":[116],"System,":[117],"where":[118,146],"durations":[120,149],"deterministic":[122],"but":[123,155],"depending":[125],"on":[126],"day.":[130],"Then,":[131],"apply":[133],"planner":[135,170],"optimize":[137],"for":[138,171],"Markov":[143,172],"Decision":[144,173],"Processes,":[145],"physical":[151],"uncertain,":[154],"time-dependent":[157],"distribution":[158],"possible":[160],"delays":[161],"known.":[163],"Finally,":[164],"develop":[166],"receding":[168],"horizon":[169],"Processes":[174],"preserves":[176],"guarantees":[177],"robustness.":[181],"We":[182],"show":[183],"scalability":[185],"our":[187],"algorithms":[189],"simulations":[191],"robotic":[193],"tasks.":[194]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}