1 paper · 1 filter
Krishnendu Chatterjee, Thomas A. Henzinger, Mathieu Tracol
We consider probabilistic automata on infinite words with acceptance defined by safety, reachability, Büchi, coBüchi, and limit-average conditions. We consider quantitative and qua…