59 citations · 191 across the 36 of their papers we have counts for
1 paper · 1 filter
Sebastian Junges, Nils Jansen, Christian Dehnert +2
We consider controller synthesis for stochastic and partially unknown environments in which safety is essential. Specifically, we abstract the problem as a Markov decision process…