Login / Signup
Proving Almost-Sure Termination of Probabilistic Programs via Incremental Pruning.
Krishnendu Chatterjee
Ehsan Kafshdar Goharshady
Petr Novotný
Jiri Zárevúcky
Dorde Zikelic
Published in:
CoRR (2020)
Keyphrases
</>
probabilistic model
generative model
term rewrite systems
sufficient conditions