%0 Journal Article %1 journals/corr/abs-2311-06889 %A Batz, Kevin %A Biskup, Tom Jannik %A Katoen, Joost-Pieter %A Winkler, Tobias %D 2023 %J CoRR %K dblp %T Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs. %U http://dblp.uni-trier.de/db/journals/corr/corr2311.html#abs-2311-06889 %V abs/2311.06889

@article{journals/corr/abs-2311-06889, added-at = {2023-11-21T00:00:00.000+0100}, author = {Batz, Kevin and Biskup, Tom Jannik and Katoen, Joost-Pieter and Winkler, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/2513670804329fa7d48e770045b9beec0/dblp}, ee = {https://doi.org/10.48550/arXiv.2311.06889}, interhash = {dc562e1279d1d49299198bd4ad44f500}, intrahash = {513670804329fa7d48e770045b9beec0}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:08:51.000+0200}, title = {Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2311.html#abs-2311-06889}, volume = {abs/2311.06889}, year = 2023 }