On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics.

Franois Laroussinie, Philippe Schnoebelen, Mathieu Turuani

Browse the full LATIN paper archive.