most citedPermissive Finite-State Controllers of POMDPs using Parameter Synthesis

5 citations · 5 across the 2 of their papers we have counts for

collaborators
Showing cs.ROShow all

1 paper · 1 filter

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…