{"id":"https://openalex.org/W2749365756","doi":"https://doi.org/10.1109/cdc.2017.8263971","title":"Motion planning under partial observability using game-based abstraction","display_name":"Motion planning under partial observability using game-based abstraction","publication_year":2017,"publication_date":"2017-12-01","ids":{"openalex":"https://openalex.org/W2749365756","doi":"https://doi.org/10.1109/cdc.2017.8263971","mag":"2749365756"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2017.8263971","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2017.8263971","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE 56th Annual Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1708.04236.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050953237","display_name":"Leonore Winterer","orcid":"https://orcid.org/0000-0002-4258-4046"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Leonore Winterer","raw_affiliation_strings":["Albert-Ludwigs-Universitat Freiburg, Freiburg im Breisgau, Germany","Albert-Ludwigs-Universit\u00e4t-Freiburg, Freiburg im Breisgau, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Albert-Ludwigs-Universitat Freiburg, Freiburg im Breisgau, Germany","institution_ids":["https://openalex.org/I161046081"]},{"raw_affiliation_string":"Albert-Ludwigs-Universit\u00e4t-Freiburg, Freiburg im Breisgau, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018941708","display_name":"Sebastian Junges","orcid":"https://orcid.org/0000-0003-0978-8466"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Junges","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany","RWTH Aachen, University, Aachen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]},{"raw_affiliation_string":"RWTH Aachen, University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047238602","display_name":"Ralf Wimmer","orcid":"https://orcid.org/0000-0003-4973-7479"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ralf Wimmer","raw_affiliation_strings":["Albert-Ludwigs-Universitat Freiburg, Freiburg im Breisgau, Germany","Albert-Ludwigs-Universit\u00e4t-Freiburg, Freiburg im Breisgau, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Albert-Ludwigs-Universitat Freiburg, Freiburg im Breisgau, Germany","institution_ids":["https://openalex.org/I161046081"]},{"raw_affiliation_string":"Albert-Ludwigs-Universit\u00e4t-Freiburg, Freiburg im Breisgau, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012669709","display_name":"Nils Jansen","orcid":"https://orcid.org/0000-0003-1318-8973"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Nils Jansen","raw_affiliation_strings":["Radboud University, Nijmegen, The Netherlands","Radboud University, Nijmegen The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Radboud University, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Radboud University, Nijmegen The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068441112","display_name":"Ufuk Topcu","orcid":"https://orcid.org/0000-0003-0819-9985"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ufuk Topcu","raw_affiliation_strings":["The University of Texas at Austin, Austin, TX, USA",", The University of Texas at Austin, Austin, TX, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":", The University of Texas at Austin, Austin, TX, USA#TAB#","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090819329","display_name":"Joost-Pieter Katoen","orcid":"https://orcid.org/0000-0002-6143-1926"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Joost-Pieter Katoen","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany","RWTH Aachen, University, Aachen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]},{"raw_affiliation_string":"RWTH Aachen, University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038861833","display_name":"Bernd Becker","orcid":"https://orcid.org/0000-0003-4031-3258"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bernd Becker","raw_affiliation_strings":["Albert-Ludwigs-Universitat Freiburg, Freiburg im Breisgau, Germany","Albert-Ludwigs-Universit\u00e4t-Freiburg, Freiburg im Breisgau, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Albert-Ludwigs-Universitat Freiburg, Freiburg im Breisgau, Germany","institution_ids":["https://openalex.org/I161046081"]},{"raw_affiliation_string":"Albert-Ludwigs-Universit\u00e4t-Freiburg, Freiburg im Breisgau, Germany","institution_ids":["https://openalex.org/I161046081"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.8481,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.91599854,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"4","issue":null,"first_page":"2201","last_page":"2208"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9811000227928162,"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.9811000227928162,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9800999760627747,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9751999974250793,"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/partially-observable-markov-decision-process","display_name":"Partially observable Markov decision process","score":0.8495006561279297},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.8229472637176514},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.7383700013160706},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7267999053001404},{"id":"https://openalex.org/keywords/observable","display_name":"Observable","score":0.6929612159729004},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6317934989929199},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.5753298401832581},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5437338352203369},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.540268063545227},{"id":"https://openalex.org/keywords/ambiguity","display_name":"Ambiguity","score":0.5227711200714111},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.4912509322166443},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.46506598591804504},{"id":"https://openalex.org/keywords/motion","display_name":"Motion (physics)","score":0.4165147840976715},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37818747758865356},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.3703964054584503},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.35380643606185913},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3054000735282898},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.21019452810287476},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.20292401313781738},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19051188230514526},{"id":"https://openalex.org/keywords/markov-model","display_name":"Markov model","score":0.18292275071144104},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.17206990718841553},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.08474507927894592},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08016461133956909}],"concepts":[{"id":"https://openalex.org/C17098449","wikidata":"https://www.wikidata.org/wiki/Q176814","display_name":"Partially observable Markov decision process","level":4,"score":0.8495006561279297},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.8229472637176514},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7383700013160706},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7267999053001404},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.6929612159729004},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6317934989929199},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.5753298401832581},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5437338352203369},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.540268063545227},{"id":"https://openalex.org/C2780522230","wikidata":"https://www.wikidata.org/wiki/Q1140419","display_name":"Ambiguity","level":2,"score":0.5227711200714111},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.4912509322166443},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.46506598591804504},{"id":"https://openalex.org/C104114177","wikidata":"https://www.wikidata.org/wiki/Q79782","display_name":"Motion (physics)","level":2,"score":0.4165147840976715},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37818747758865356},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.3703964054584503},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.35380643606185913},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3054000735282898},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.21019452810287476},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.20292401313781738},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19051188230514526},{"id":"https://openalex.org/C163836022","wikidata":"https://www.wikidata.org/wiki/Q6771326","display_name":"Markov model","level":3,"score":0.18292275071144104},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.17206990718841553},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.08474507927894592},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08016461133956909},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/cdc.2017.8263971","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2017.8263971","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE 56th Annual Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},{"id":"mag:2749365756","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1708.04236.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:publications.rwth-aachen.de:713579","is_oa":false,"landing_page_url":"https://publications.rwth-aachen.de/search?p=id:%22RWTH-CONV-220400%22","pdf_url":null,"source":{"id":"https://openalex.org/S4306401362","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Piscataway, NJ : IEEE 2201-2208 (2017). doi:10.1109/CDC.2017.8263971","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/183884","is_oa":false,"landing_page_url":"https://hdl.handle.net/2066/183884","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article in monograph or in proceedings"},{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/183884","is_oa":false,"landing_page_url":"http://hdl.handle.net/2066/183884","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":"2017 IEEE 56th Annual Conference on Decision and Control (CDC), December 12-15, 2017, Melbourne, Australia, 2201 - 2208. New York : IEEE","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"mag:2749365756","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1708.04236.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.44999998807907104}],"awards":[{"id":"https://openalex.org/G1944625657","display_name":null,"funder_award_id":"W911NF-16-1-0001","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G416143503","display_name":null,"funder_award_id":"EXC\u20101086","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G7425413337","display_name":null,"funder_award_id":"-0001","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G7829835590","display_name":"EXPLAINABLE AND SCALABLE PLANNING WITH PROBABILISTIC TEMPORAL LOGIC SPECIFICATIONS THE OBJECTIVE OF THIS PROPOSAL IS TO DEVELOP THEORY  ALGORITHMS AND DEMONSTRATIONS FOR FORMAL SPECIFICATIONS AND AUTOMATED SYNTHESIS AND LEARNING OF AUTONOMY PROTOCOLS FOR MISSION  RESOURCE AND CONTINGENCY MANAGEMENT. WE PARTITION THE EFFORT INTO THREE THRUSTS: (I) COMPOSITIONAL AND HIERARCHICAL SYNTHESIS -- DEVELOP METHODS FOR AUTOMATED SYNTHESIS FROM PROBABILISTIC TEMPORAL LOGIC SPECIFICATIONS. (II) INTERPRETABLE PLANS -- DEVELOP AUTOMATA-LEARNING METHODS TO SYNTHESIZE HUMAN-INTERPRETABLE PLANS FOR PRACTICALLY INFINITE-STATE SYSTEMS. (III) EXPLAINABLE FEEDBACK -- IN CASES IN WHICH THERE IS NO ACCEPTABLE PLAN  DEVELOP EXPLANATIONS OF THE CORE REASONS IN TERMS UNDERSTANDABLE BY HUMANS. ALL THREE THRUSTS ADDRESS SCALABILITY EXPLICITLY THROUGH A SERIES OF ALGORITHMIC AND ARCHITECTURAL MEASURES. IN PARALLEL WITH THE TECHNICAL THRUSTS  WE WILL DEMONSTRATE AND SPECIALIZE OUR ALGORITHMS IN A CASE STUDY ON HUMAN SPACEFLIGHT OPERATIONS. WE DESIGNED OUR TECHNICAL THRUSTS TO BALANCE THEIR GENERAL APPLICABILITY AND THEIR IMPACT AND TIMELINESS FOR HUMAN SPACEFLIGHT OPERATIONS. OUR EFFORT INTRODUCES A PARADIGM SHIFT IN THE PLANNING-EXECUTION (AND RE-PLANNING) LOOP BY ADDRESSING A NUMBER OF THESE CHALLENGES. OUR EMPHASIS PARTICULARLY ON UNAMBIGUOUS  FORMAL SPECIFICATIONS AND COMPILATION OF EXECUTABLE CONTROL SOFTWARE WITH PROVABLE GUARANTEES AND SYSTEMATIC  SENSITIVITY ANALYSIS DIFFUSES THE CRITICAL CONCERN OF RELIABILITY THROUGHOUT THE PLANNING-EXECUTION LOOP. FURTHERMORE  THE PROPOSED ALGORITHMS WILL INCORPORATE MODELS WITH STOCHASTIC AS WELL AS NONDETERMINISTIC UNCERTAINTIES AND RICH SPECIFICATIONS WITH TEMPORAL AND LOGICAL RELATIONS AS WELL AS PROBABILISTIC AND REAL-TIME MODALITIES AS NEEDED. INTEGRATED PLANNING FOR THE COUPLED FUNCTIONS INTRODUCES POSSIBILITIES FOR SYSTEM-LEVEL OPTIMIZATION  E.G.  IN PERFORMANCE  WEIGHTS AND OVERALL COST. FINALLY  THE PROPOSED ALGORITHMIC AND ARCHITECTURAL ADVANCES WILL IMPROVE NOT ONLY THE SCALABILITY OF THE RESULTING SYNTHESIS ALGORITHMS BUT ALSO THEIR INTERPRETABILITY BY AND EXPLAINABILITY TO THE CREW AND DESIGNERS.","funder_award_id":"NNX17AD04G","funder_id":"https://openalex.org/F4320306101","funder_display_name":"National Aeronautics and Space Administration"}],"funders":[{"id":"https://openalex.org/F4320306101","display_name":"National Aeronautics and Space Administration","ror":"https://ror.org/027ka1x80"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W45542973","https://openalex.org/W105489851","https://openalex.org/W134581040","https://openalex.org/W288011047","https://openalex.org/W1176413013","https://openalex.org/W1482467703","https://openalex.org/W1503421559","https://openalex.org/W1522308973","https://openalex.org/W1966347268","https://openalex.org/W2048183302","https://openalex.org/W2052092737","https://openalex.org/W2055921164","https://openalex.org/W2097439419","https://openalex.org/W2103052138","https://openalex.org/W2106272197","https://openalex.org/W2132004142","https://openalex.org/W2139324000","https://openalex.org/W2167805536","https://openalex.org/W2168359464","https://openalex.org/W2356671789","https://openalex.org/W2527393991","https://openalex.org/W2570299561","https://openalex.org/W2571161957","https://openalex.org/W2593267253","https://openalex.org/W2594789366","https://openalex.org/W6635309794","https://openalex.org/W6635427674","https://openalex.org/W6638944184","https://openalex.org/W6733037351"],"related_works":["https://openalex.org/W2962910777","https://openalex.org/W2945268470","https://openalex.org/W3019187101","https://openalex.org/W2787942347","https://openalex.org/W2168359464","https://openalex.org/W2946624434","https://openalex.org/W2952548830","https://openalex.org/W3014097914","https://openalex.org/W2045460737","https://openalex.org/W2256983737","https://openalex.org/W2010780110","https://openalex.org/W2965787007","https://openalex.org/W2285208585","https://openalex.org/W2026315107","https://openalex.org/W2294827575","https://openalex.org/W3156635476","https://openalex.org/W2963452430","https://openalex.org/W2187280891","https://openalex.org/W1862398452","https://openalex.org/W1482467703"],"abstract_inverted_index":{"We":[0,72,169],"study":[1],"motion":[2],"planning":[3],"problems":[4,40],"where":[5],"agents":[6,89],"move":[7],"inside":[8,98],"environments":[9],"that":[10,29,88,141,171],"are":[11,41,136],"not":[12],"fully":[13],"observable":[14,46],"and":[15,36,64],"subject":[16],"to":[17,22,32,93,138,154,185],"uncertainties.":[18],"The":[19],"goal":[20],"is":[21,30,67,108,151],"compute":[23],"a":[24,186],"strategy":[25,65],"for":[26,84],"an":[27,99,149,157],"agent":[28],"guaranteed":[31],"satisfy":[33],"certain":[34,143],"safety":[35],"performance":[37],"specifications.":[38],"Such":[39],"naturally":[42],"modeled":[43],"by":[44,76,180],"partially":[45],"Markov":[47],"decision":[48],"processes":[49],"(POMDPs).":[50],"Because":[51],"of":[52,61,81,105,117,166,177,182,189],"the":[53,91,103,106,114,118,146,163,167,175,178,190],"potentially":[54],"huge":[55],"or":[56],"even":[57],"infinite":[58],"belief":[59,164],"space":[60,165],"POMDPs,":[62],"verification":[63,134],"synthesis":[66],"in":[68,102],"general":[69],"computationally":[70],"intractable.":[71],"tackle":[73],"this":[74,121],"difficulty":[75],"exploiting":[77],"typical":[78],"structural":[79],"properties":[80],"such":[82],"scenarios;":[83],"instance,":[85],"we":[86],"assume":[87],"have":[90],"ability":[92],"observe":[94],"their":[95],"own":[96],"positions":[97],"environment.":[100,119],"Ambiguity":[101],"state":[104,176],"environment":[107],"abstracted":[109],"into":[110,125],"non-deterministic":[111],"choices":[112],"over":[113],"possible":[115],"states":[116],"Technically,":[120],"abstraction":[122,158],"transforms":[123],"POMDPs":[124],"probabilistic":[126],"two-player":[127],"games":[128],"(PGs).":[129],"For":[130],"these":[131],"PGs,":[132],"efficient":[133],"tools":[135],"able":[137],"determine":[139],"strategies":[140],"approximate":[142],"measures":[144],"on":[145],"POMDP.":[147,168,191],"If":[148],"approximation":[150],"too":[152],"coarse":[153],"provide":[155],"guarantees,":[156],"refinement":[159],"scheme":[160],"further":[161],"resolves":[162],"demonstrate":[170],"our":[172],"method":[173],"improves":[174],"art":[179],"orders":[181],"magnitude":[183],"compared":[184],"direct":[187],"solution":[188]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":5},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}