13 citations · 26 across the 9 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 5 cited
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…
cs.RO2017
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…