Incremental quantitative verification for markov decision processes. (2011)

by Marta Z Kwiatkowska, David Parker, Hongyang Qu
Venue:In DSN,