Automating the Analysis of Quantitative Automata with QuAK.

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

Browse the full TACAS paper archive.