Markov decision processes and regular events (1990)

by C Courcoubetis, M Yannakakis
Venue:In ICALP’90, LNCS 443