39 citations · 99 across the 6 of their papers we have counts for
1 paper · 1 filter
Sheshansh Agrawal, Krishnendu Chatterjee, Petr Novotný
Probabilistic programs extend classical imperative programs with real-valued random variables and random branching. The most basic liveness property for such programs is the termin…