-
Permissive Finite-State Controllers of POMDPs using Parameter Synthesis
Abstract: We study finite-state controllers (FSCs) for partially observable Markov decision processes (POMDPs) that are provably correct with respect to given specifications. The key insight is that computing (randomised) FSCs on POMDPs is equivalent to - and computationally as hard as - synthesis for parametric Markov chains (pMCs). This correspondence allows to use tools for parameter synthesis in pMCs to… ▽ More
Submitted 17 July, 2018; v1 submitted 24 October, 2017; originally announced October 2017.
Comments: This is an extended version of the paper: S. Junges, N. Jansen, R. Wimmer, T. Quatmann, L. Winterer, J.-P. Katoen, B. Becker: Finite-state Controllers of POMDPs via Parameter Synthesis. Proceedings of the Conference on Uncertainty in Artificial Intelligence (UAI 2018), Monterey, CA, USA, August 6-10, 2018