Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs. - Kevin Batz; Tom Jannik Biskup; Joost-Pieter Katoen; Tobias Winkler 001 (Proc. ACM Program. Lang., 2024)