Extending QuAK with Nested Quantitative Automata.

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

Browse the full CAV paper archive.