Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs.
Kevin BatzTom Jannik BiskupJoost-Pieter KatoenTobias WinklerPublished in: CoRR (2023)
Keyphrases
- functional programs
- probabilistic model
- generative model
- artificial intelligence
- automatic programming
- information theoretic
- conditional probabilities
- posterior probability
- context sensitive
- deductive databases
- probabilistic reasoning
- optimal strategy
- computer programs
- programming environment
- probabilistic logic
- program synthesis