Safety and Liveness of Quantitative Automata.

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

Browse the full CONCUR paper archive.