Login / Signup
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs.
Kevin Batz
Tom Jannik Biskup
Joost-Pieter Katoen
Tobias Winkler
Published in:
Proc. ACM Program. Lang. (2024)
Keyphrases
</>
functional programs
probabilistic model
neural network
bayesian networks
search strategy
program synthesis
information theoretic
data sets
machine learning
artificial intelligence
information systems
multi agent
generative model
uncertain data
selection strategy
probabilistic reasoning