Algorithmic verification of recursive probabilistic state machines (2005)

by K Etessami, M Yannakakis
Venue:In Proceedings of 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS