P^5 : Planner-less Proofs of Probabilistic Parameterized Protocols.
Lenore D. ZuckKenneth L. McMillanJordan TorfPublished in: VMCAI (2018)
Keyphrases
- probabilistic planning
- bayesian networks
- heuristic search
- probabilistic model
- information theoretic
- data driven
- domain independent
- theorem proving
- probabilistic logic
- posterior probability
- probabilistic reasoning
- probability distribution
- generative model
- reinforcement learning
- conditional probabilities
- belief networks
- neural network