Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs

Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen +1

We consider imperative programs that involve both randomization and pure nondeterminism. The central question is how to find a strategy resolving the pure nondeterminism such that…