DMCA

Incremental quantitative verification for Markov decision processes (2011)

by Marta Kwiatkowska , David Parker , Hongyang Qu
Venue:in Proc. PDS’11. IEEE CS
Citations:16 - 7 self