Extending QuAK with Nested Quantitative Automata. - Thomas A. Henzinger; Nicolas Mazzocchi; N. Ege Saraç; Harun Yilmaz (CoRR, 2026)