{"id":"https://openalex.org/W3019187101","doi":"https://doi.org/10.1109/tac.2020.2990140","title":"Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions","display_name":"Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions","publication_year":2020,"publication_date":"2020-04-24","ids":{"openalex":"https://openalex.org/W3019187101","doi":"https://doi.org/10.1109/tac.2020.2990140","mag":"3019187101"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2020.2990140","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2020.2990140","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2066/230673","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-Universit\u00e4t Freiburg, Freiburg im Breisgau, Germany"],"raw_orcid":"https://orcid.org/0000-0002-4258-4046","affiliations":[{"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/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sebastian Junges","raw_affiliation_strings":["University of California\u2013Berkeley, Berkeley, CA, USA"],"raw_orcid":"https://orcid.org/0000-0003-0978-8466","affiliations":[{"raw_affiliation_string":"University of California\u2013Berkeley, Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"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":["Concept Engineering GmbH and Albert-Ludwigs-Universit\u00e4t Freiburg, Freiburg im Breisgau, Germany"],"raw_orcid":"https://orcid.org/0000-0003-4973-7479","affiliations":[{"raw_affiliation_string":"Concept Engineering GmbH and 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":["Department of Software Science, Radboud University, Nijmegen, GL, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-1318-8973","affiliations":[{"raw_affiliation_string":"Department of Software Science, Radboud University, Nijmegen, GL, 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":["University of Texas at Austin, Austin, TX, USA"],"raw_orcid":"https://orcid.org/0000-0003-0819-9985","affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, TX, USA","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"],"raw_orcid":"https://orcid.org/0000-0002-6143-1926","affiliations":[{"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-Universit\u00e4t Freiburg, Freiburg im Breisgau, Germany"],"raw_orcid":"https://orcid.org/0000-0003-4031-3258","affiliations":[{"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":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8877,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.79414437,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"66","issue":"3","first_page":"1040","last_page":"1054"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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.9994000196456909,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9950000047683716,"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.989799976348877,"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/observability","display_name":"Observability","score":0.8290969729423523},{"id":"https://openalex.org/keywords/partially-observable-markov-decision-process","display_name":"Partially observable Markov decision process","score":0.7872162461280823},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7845157980918884},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.645128607749939},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.615017831325531},{"id":"https://openalex.org/keywords/observable","display_name":"Observable","score":0.5604251027107239},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5553045272827148},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5290421843528748},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32451754808425903},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.3154348134994507},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.31062066555023193},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.260434091091156},{"id":"https://openalex.org/keywords/markov-model","display_name":"Markov model","score":0.14887109398841858},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1439516246318817},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1273784637451172}],"concepts":[{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.8290969729423523},{"id":"https://openalex.org/C17098449","wikidata":"https://www.wikidata.org/wiki/Q176814","display_name":"Partially observable Markov decision process","level":4,"score":0.7872162461280823},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7845157980918884},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.645128607749939},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.615017831325531},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.5604251027107239},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5553045272827148},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5290421843528748},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32451754808425903},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.3154348134994507},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.31062066555023193},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.260434091091156},{"id":"https://openalex.org/C163836022","wikidata":"https://www.wikidata.org/wiki/Q6771326","display_name":"Markov model","level":3,"score":0.14887109398841858},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1439516246318817},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1273784637451172},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/tac.2020.2990140","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2020.2990140","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"},{"id":"pmh:oai:publications.rwth-aachen.de:794210","is_oa":false,"landing_page_url":"https://publications.rwth-aachen.de/record/794210","pdf_url":null,"source":{"id":"https://openalex.org/S4306401033","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":"IEEE transactions on automatic control 66(3), 1040-1054 (2020). doi:10.1109/TAC.2020.2990140","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/230673","is_oa":false,"landing_page_url":"https://hdl.handle.net/2066/230673","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 / Letter to editor"},{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/230673","is_oa":true,"landing_page_url":"http://hdl.handle.net/2066/230673","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Automatic Control, 66, 1040 - 1054","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/230673","is_oa":true,"landing_page_url":"http://hdl.handle.net/2066/230673","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Automatic Control, 66, 1040 - 1054","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.4099999964237213,"display_name":"Peace, Justice and strong institutions"}],"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/G2023714413","display_name":null,"funder_award_id":"# 80NSSC19K0209","funder_id":"https://openalex.org/F4320306101","funder_display_name":"National Aeronautics and Space Administration"},{"id":"https://openalex.org/G2302795432","display_name":null,"funder_award_id":"RTG 2236","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W45542973","https://openalex.org/W91315594","https://openalex.org/W105489851","https://openalex.org/W288011047","https://openalex.org/W1176413013","https://openalex.org/W1482467703","https://openalex.org/W1498432697","https://openalex.org/W1503421559","https://openalex.org/W1522308973","https://openalex.org/W1586832890","https://openalex.org/W1588937771","https://openalex.org/W1862398452","https://openalex.org/W1966347268","https://openalex.org/W1977070092","https://openalex.org/W2028145673","https://openalex.org/W2035446426","https://openalex.org/W2052092737","https://openalex.org/W2055921164","https://openalex.org/W2087992130","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/W2336416123","https://openalex.org/W2356671789","https://openalex.org/W2570299561","https://openalex.org/W2571161957","https://openalex.org/W2582504501","https://openalex.org/W2593267253","https://openalex.org/W2594789366","https://openalex.org/W2604176721","https://openalex.org/W2749365756","https://openalex.org/W2774988227","https://openalex.org/W2809011908","https://openalex.org/W2962910777","https://openalex.org/W2963254349","https://openalex.org/W2964042707","https://openalex.org/W4298856952","https://openalex.org/W6635309794","https://openalex.org/W6635427674","https://openalex.org/W6693997783","https://openalex.org/W6733037351","https://openalex.org/W6735761211","https://openalex.org/W6747163729","https://openalex.org/W7000620737"],"related_works":["https://openalex.org/W2999848267","https://openalex.org/W2096013579","https://openalex.org/W1589140671","https://openalex.org/W1760611253","https://openalex.org/W52153049","https://openalex.org/W2951545791","https://openalex.org/W1515117609","https://openalex.org/W2294884454","https://openalex.org/W3169161914","https://openalex.org/W4323315247"],"abstract_inverted_index":{"We":[0,46,81,167],"study":[1],"synthesis":[2,37,108],"problems":[3,152,181],"with":[4,114,160],"constraints":[5],"in":[6,44],"partially":[7],"observable":[8],"Markov":[9],"decision":[10],"processes":[11],"(POMDPs),":[12],"where":[13,153],"the":[14,68,71,102,125,128,135,142,170,174,177,210,213],"objective":[15],"is":[16,25,130,206],"to":[17,27,73,111,133],"compute":[18],"a":[19,90,94,138,146],"strategy":[20,36],"for":[21,38,63],"an":[22,79,83,154,158],"agent":[23,69,155],"that":[24,67,169,189],"guaranteed":[26],"satisfy":[28,134],"certain":[29],"safety":[30,116,203],"and":[31,35,55,107,117,164],"performance":[32,118],"specifications.":[33],"Verification":[34],"POMDPs":[39],"are,":[40],"however,":[41],"computationally":[42],"intractable":[43],"general.":[45],"alleviate":[47],"this":[48,198],"difficulty":[49],"by":[50,179,193,209],"focusing":[51],"on":[52,124,202],"planning":[53,151],"applications":[54],"exploiting":[56],"typical":[57],"structural":[58],"properties":[59],"of":[60,176,184,212],"such":[61,89],"scenarios;":[62],"instance,":[64],"we":[65,149],"assume":[66],"has":[70],"ability":[72],"observe":[74],"its":[75],"own":[76],"position":[77],"inside":[78,157],"environment.":[80],"propose":[82],"abstraction":[84],"refinement":[85,139],"framework,":[86],"which":[87,120,205],"turns":[88],"POMDP":[91,195],"model":[92],"into":[93],"(fully":[95],"observable)":[96],"probabilistic":[97],"two-player":[98],"game":[99],"(PG).":[100],"For":[101],"obtained":[103],"PGs,":[104],"efficient":[105],"verification":[106],"tools":[109],"allow":[110],"determine":[112],"strategies":[113],"optimal":[115,122],"measures,":[119],"approximate":[121],"schedulers":[123],"POMDP.":[126],"If":[127],"approximation":[129],"too":[131],"coarse":[132],"given":[136],"specifications,":[137],"scheme":[140],"improves":[141],"computed":[143],"strategies.":[144],"As":[145],"running":[147],"example,":[148],"use":[150],"moves":[156],"environment":[159],"randomly":[161],"moving":[162],"obstacles":[163],"restricted":[165],"observability.":[166],"demonstrate":[168],"proposed":[171],"method":[172,199],"advances":[173],"state":[175],"art":[178],"solving":[180],"several":[182],"orders":[183],"magnitude":[185],"larger":[186],"than":[187],"those":[188],"can":[190],"be":[191],"handled":[192],"existing":[194,214],"solvers.":[196,215],"Furthermore,":[197],"gives":[200],"guarantees":[201],"constraints,":[204],"not":[207],"supported":[208],"majority":[211]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}