References & Citations
Computer Science > Logic in Computer Science
Title: New Approaches for Almost-Sure Termination of Probabilistic Programs
(Submitted on 14 Jun 2018 (v1), last revised 23 Aug 2018 (this version, v2))
Abstract: We study the almost-sure termination problem for probabilistic programs. First, we show that supermartingales with lower bounds on conditional absolute difference provide a sound approach for the almost-sure termination problem. Moreover, using this approach we can obtain explicit optimal bounds on tail probabilities of non-termination within a given number of steps. Second, we present a new approach based on Central Limit Theorem for the almost-sure termination problem, and show that this approach can establish almost-sure termination of programs which none of the existing approaches can handle. Finally, we discuss algorithmic approaches for the two above methods that lead to automated analysis techniques for almost-sure termination of probabilistic programs.
Submission history
From: Mingzhang Huang [view email][v1] Thu, 14 Jun 2018 05:42:18 GMT (33kb)
[v2] Thu, 23 Aug 2018 06:21:12 GMT (35kb)
Link back to: arXiv, form interface, contact.