Probabilistic linear-time model checking: an overview of the automata-theoretic approach (1999)

by Moshe Y Vardi
Venue:In Proc. 5th Int. AMAST Workshop Formal Methods for Real-Time and Probabilistic Systems