Runtime analysis of probabilistic programs with unbounded recursion
Journal of Computer and System Sciences2014Vol. 81(1), pp. 288–310
Citations Over Time
Related Papers
- → Polynomial time decision algorithms for probabilistic automata(2015)21 cited
- → Homegrown Statelessness in Malaysia: The Administratively Stateless and the Promise of the Principle of Genuine and Effective Links(2019)14 cited
- → Efficient algorithms for verification of equivalences for probabilistic processes(1992)21 cited
- → Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems(2011)4 cited