Login / Signup
Modular verification for almost-sure termination of probabilistic programs.
Mingzhang Huang
Hongfei Fu
Krishnendu Chatterjee
Amir Kafshdar Goharshady
Published in:
Proc. ACM Program. Lang. (2019)
Keyphrases
</>
symbolic execution
bayesian networks
automatic programming
probabilistic model
uncertain data
data driven
model checking
hardware designs
artificial intelligence
generative model
posterior probability
temporal logic
context sensitive
answer sets
probability theory
formal methods