Incremental quantitative verification for Markov decision processes.

Marta Z. Kwiatkowska, David Parker, Hongyang Qu

Browse the full DSN paper archive.