Verifying Quantitative Properties of Continuous Probabilistic Timed Automata.

Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston

Browse the full CONCUR paper archive.