5 citations · 5 across the 2 of their papers we have counts for
3 papers
Strengthening Deterministic Policies for POMDPs
Leonore Winterer, Ralf Wimmer, Nils Jansen +1
The synthesis problem for partially observable Markov decision processes (POMDPs) is to compute a policy that satisfies a given specification. Such policies have to take the full e…
Permissive Finite-State Controllers of POMDPs using Parameter Synthesis
Sebastian Junges, Nils Jansen, Ralf Wimmer +4
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…
Strategy Synthesis in POMDPs via Game-Based Abstractions
Leonore Winterer, Sebastian Junges, Ralf Wimmer +4
We study synthesis problems with constraints in partially observable Markov decision processes (POMDPs), where the objective is to compute a strategy for an agent that is guarantee…