State Programs - Rice University Computer Science Department

5 downloads 22577 Views 924KB Size Report
Center for Study of Language and Information. Stanford University,. ABS TRA C T. The verification problem for probabilistic concurrent finite-stale program is to decide whether .... problem reduces to what we call the probabilistic emptiness ...

Suggest Documents