Algorithmic verification of recursive probabilistic systems. (2005)

by K Etessami, M Yannakakis
Venue:In Proceedings of TACAS