Gehnen, Christina
[VerfasserIn];
Bork, Alexander Nikolai
[VerfasserIn];
Winkler, Tobias
[VerfasserIn]
;
Katoen, Joost-Pieter
[AkademischeR BetreuerIn];
Noll, Thomas
[AkademischeR BetreuerIn]
POMDP-based execution models for probabilistic programs with partial observability