59 citations · 291 across the 45 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.SE2015★ 6 cited
Safety-Constrained Reinforcement Learning for MDPs
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…
cs.PL2015★ 7 cited
Conditioning in Probabilistic Programming
Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski +3
We investigate the semantic intricacies of conditioning, a main feature in probabilistic programming. We provide a weakest (liberal) pre-condition (w(l)p) semantics for the element…