Approximating Markov Processes by Averaging (2009)

by V DANOS CHAPUT, P PANANGADEN, G D PLOTKIN
Venue:in "Proceedings of the 36th International Colloquium on Automata, Languages and Programming (ICALP’09