François Laroussinie, Ph. Schnoebelen, Mathieu Turuani. On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics. In Gaston H. Gonnet, Daniel Panario, Alfredo Viola, editors, LATIN 2000: Theoretical Informatics, 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000, Proceedings. Volume 1776 of Lecture Notes in Computer Science, pages 437-446, Springer, 2000.
Abstract is missing.