Zoran Ognjanovic, Dragan Doder, Zoran Markovic. A Branching Time Logic with Two Types of Probability Operators. In Salem Benferhat, John Grant, editors, Scalable Uncertainty Management - 5th International Conference, SUM 2011, Dayton, OH, USA, October 10-13, 2011. Proceedings. Volume 6929 of Lecture Notes in Computer Science, pages 219-232, Springer, 2011. [doi]
Abstract is missing.