Algorithmic Verification of Recursive Probabilistic State Machines.

Kousha Etessami, Mihalis Yannakakis

Browse the full TACAS paper archive.