Quantitative Safety and Liveness.

Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara

Browse the full FOSSACS paper archive.