133 citations · 155 across the 27 of their papers we have counts for
1 paper · 2 filters
Krishnendu Chatterjee, Nir Piterman
We recently introduced p-automata, automata that read discrete-time Markov chains. We used turn-based stochastic parity games to define acceptance of Markov chains by a subclass of…