{"id":"https://openalex.org/W3011225480","doi":"https://doi.org/10.1109/cdc40024.2019.9029240","title":"Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces","display_name":"Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces","publication_year":2019,"publication_date":"2019-12-01","ids":{"openalex":"https://openalex.org/W3011225480","doi":"https://doi.org/10.1109/cdc40024.2019.9029240","mag":"3011225480"},"language":"en","primary_location":{"id":"doi:10.1109/cdc40024.2019.9029240","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc40024.2019.9029240","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 58th Conference on Decision and Control (CDC)","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/A5025184822","display_name":"Sofie Haesaert","orcid":"https://orcid.org/0000-0003-4749-4688"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"S. Haesaert","raw_affiliation_strings":["Faculty of Electrical Engineering, Eindhoven University of Technology, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, Eindhoven University of Technology, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113893653","display_name":"Rohan Thakker","orcid":null},"institutions":[{"id":"https://openalex.org/I1334627681","display_name":"Jet Propulsion Laboratory","ror":"https://ror.org/027k65916","country_code":"US","type":"facility","lineage":["https://openalex.org/I122411786","https://openalex.org/I1334627681","https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. Thakker","raw_affiliation_strings":["Jet Propulsion Laboratory, California, USA"],"affiliations":[{"raw_affiliation_string":"Jet Propulsion Laboratory, California, USA","institution_ids":["https://openalex.org/I1334627681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046637824","display_name":"Ricky Nilsson","orcid":"https://orcid.org/0000-0002-5408-4954"},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R Nilsson","raw_affiliation_strings":["California Institute of Technology"],"affiliations":[{"raw_affiliation_string":"California Institute of Technology","institution_ids":["https://openalex.org/I122411786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042186658","display_name":"Ali\u2010akbar Agha\u2010mohammadi","orcid":"https://orcid.org/0000-0001-5509-1841"},"institutions":[{"id":"https://openalex.org/I1334627681","display_name":"Jet Propulsion Laboratory","ror":"https://ror.org/027k65916","country_code":"US","type":"facility","lineage":["https://openalex.org/I122411786","https://openalex.org/I1334627681","https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"A. Agha-mohammadi","raw_affiliation_strings":["Jet Propulsion Laboratory, California, USA"],"affiliations":[{"raw_affiliation_string":"Jet Propulsion Laboratory, California, USA","institution_ids":["https://openalex.org/I1334627681"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068600217","display_name":"Richard M. Murray","orcid":"https://orcid.org/0000-0002-5785-7481"},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. M. Murray","raw_affiliation_strings":["California Institute of Technology"],"affiliations":[{"raw_affiliation_string":"California Institute of Technology","institution_ids":["https://openalex.org/I122411786"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5025184822"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":0.28,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.68017639,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"6282","last_page":"6287"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"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.9995999932289124,"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.9984999895095825,"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9983999729156494,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.8195863962173462},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6382757425308228},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5118173956871033},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.5059177279472351},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.490418404340744},{"id":"https://openalex.org/keywords/probabilistic-roadmap","display_name":"Probabilistic roadmap","score":0.48673203587532043},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.4557052552700043},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.44719198346138},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4159560799598694},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3568168878555298},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2668055295944214},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19234314560890198}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8195863962173462},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6382757425308228},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5118173956871033},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.5059177279472351},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.490418404340744},{"id":"https://openalex.org/C2778803389","wikidata":"https://www.wikidata.org/wiki/Q7246866","display_name":"Probabilistic roadmap","level":4,"score":0.48673203587532043},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.4557052552700043},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.44719198346138},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4159560799598694},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3568168878555298},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2668055295944214},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19234314560890198},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/cdc40024.2019.9029240","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc40024.2019.9029240","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 58th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/647fb35a-fc7e-4849-87ab-3954c5b1cb3d","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/647fb35a-fc7e-4849-87ab-3954c5b1cb3d","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Haesaert, S, Thakker, R, Nilsson, P, Agha-Mohammadi, A & Murray, R M 2019, Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces. in 2019 IEEE 58th Conference on Decision and Control, CDC 2019., 9029240, Institute of Electrical and Electronics Engineers, pp. 6282-6287, 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, 11/12/19. https://doi.org/10.1109/CDC40024.2019.9029240","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.tue.nl:publications/647fb35a-fc7e-4849-87ab-3954c5b1cb3d","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85082461186&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Haesaert, S, Thakker, R, Nilsson, P, Agha-Mohammadi, A & Murray, R M 2019, Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces. in 2019 IEEE 58th Conference on Decision and Control, CDC 2019., 9029240, Institute of Electrical and Electronics Engineers, pp. 6282-6287, 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, 11/12/19. https://doi.org/10.1109/CDC40024.2019.9029240","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:tue:oai:pure.tue.nl:publications/647fb35a-fc7e-4849-87ab-3954c5b1cb3d","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/647fb35a-fc7e-4849-87ab-3954c5b1cb3d","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2019 IEEE 58th Conference on Decision and Control, CDC 2019, 6282 - 6287","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.7099999785423279,"display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1532688806","https://openalex.org/W1540883472","https://openalex.org/W1636455720","https://openalex.org/W1970269621","https://openalex.org/W1970927851","https://openalex.org/W1993546951","https://openalex.org/W2011418219","https://openalex.org/W2048563056","https://openalex.org/W2054675873","https://openalex.org/W2055921164","https://openalex.org/W2063718256","https://openalex.org/W2066953328","https://openalex.org/W2080813827","https://openalex.org/W2134802714","https://openalex.org/W2150335178","https://openalex.org/W2159524963","https://openalex.org/W2163941698","https://openalex.org/W2165364079","https://openalex.org/W2168359464","https://openalex.org/W2168992242","https://openalex.org/W2170310831","https://openalex.org/W2571161957","https://openalex.org/W2594675090","https://openalex.org/W2594789366","https://openalex.org/W2745094767","https://openalex.org/W2949165985","https://openalex.org/W2963172692","https://openalex.org/W6631864160","https://openalex.org/W6636732284","https://openalex.org/W6679977494","https://openalex.org/W6685118956","https://openalex.org/W6763645266"],"related_works":["https://openalex.org/W2107702345","https://openalex.org/W2381469031","https://openalex.org/W2137520303","https://openalex.org/W1536392978","https://openalex.org/W2216928063","https://openalex.org/W2389713625","https://openalex.org/W4308217561","https://openalex.org/W2134348961","https://openalex.org/W2115192598","https://openalex.org/W2160419405"],"abstract_inverted_index":{"Navigation":[0],"problems":[1],"expressed":[2],"via":[3],"temporal":[4],"logics":[5],"show":[6,37],"promise":[7],"for":[8,23],"autonomous":[9],"robot":[10],"applications":[11],"due":[12],"to":[13,48],"their":[14],"versatility.":[15],"In":[16],"this":[17,50],"paper,":[18],"we":[19],"introduce":[20],"a":[21],"method":[22],"planning":[24,51],"with":[25,45],"these":[26],"specifications":[27],"in":[28],"uncertain":[29,59],"environments":[30],"that":[31,38],"yields":[32],"guaranteed":[33],"satisfaction":[34],"probabilities.":[35],"We":[36],"point-based":[39],"value":[40],"iteration":[41],"can":[42],"be":[43],"combined":[44],"probabilistic":[46],"roadmaps":[47],"solve":[49],"problem":[52],"over":[53],"the":[54,58],"belief":[55],"space":[56],"of":[57],"environment.":[60]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}