We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Robust Almost-Sure Reachability in Multi-Environment MDPs

Abstract: Multiple-environment MDPs (MEMDPs) capture finite sets of MDPs that share the states but differ in the transition dynamics. These models form a proper subclass of partially observable MDPs (POMDPs). We consider the synthesis of policies that robustly satisfy an almost-sure reachability property in MEMDPs, that is, one policy that satisfies a property for all environments. For POMDPs, deciding the existence of robust policies is an EXPTIME-complete problem. In this paper, we show that this problem is PSPACE-complete for MEMDPs, while the policies in general require exponential memory. We exploit the theoretical results to develop and implement an algorithm that shows promising results in synthesizing robust policies for various benchmarks.
Comments: preprint
Subjects: Logic in Computer Science (cs.LO)
Cite as: arXiv:2301.11296 [cs.LO]
  (or arXiv:2301.11296v1 [cs.LO] for this version)

Submission history

From: Sebastian Junges [view email]
[v1] Thu, 26 Jan 2023 18:34:55 GMT (4269kb)

Link back to: arXiv, form interface, contact.