"A Branching Time Logic with Two Types of Probability Operators."

Zoran Ognjanovic, Dragan Doder, Zoran Markovic (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics