Automated Verification and Strategy Synthesis for Probabilistic Systems.

Marta Z. Kwiatkowska, David Parker

Browse the full ATVA paper archive.