Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes.

Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich

Browse the full CAV paper archive.