research
∙
08/04/2021
On Lexicographic Proof Rules for Probabilistic Termination
We consider the almost-sure (a.s.) termination problem for probabilistic...
share
research
∙
04/02/2021
Proving Non-termination by Program Reversal
We present a new approach to proving non-termination of non-deterministi...
research
∙
08/14/2020
Proving Almost-Sure Termination of Probabilistic Programs via Incremental Pruning
The extension of classical imperative programs with real-valued random v...
research
∙
02/12/2019
