27 citations · 62 across the 16 of their papers we have counts for
1 paper · 1 filter
Krishnendu Chatterjee, Hongfei Fu, Petr Novotny +1
In this paper, we consider termination of probabilistic programs with real-valued variables. The questions concerned are: 1. qualitative ones that ask (i) whether the program termi…