Luca de Alfaro;Stephen Gilmore
-;-
Partial order reduction for markov decision processes: a survey
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects