APA (7th ed.) Citation

Henzinger, T. A., Mazzocchi, N., Saraç, N. E., & Yılmaz, H. (2026). Extending QuAK with Nested Quantitative Automata.

Chicago Style (17th ed.) Citation

Henzinger, Thomas A., Nicolas Mazzocchi, N. Ege Saraç, and Harun Yılmaz. Extending QuAK with Nested Quantitative Automata. 2026.

MLA (9th ed.) Citation

Henzinger, Thomas A., et al. Extending QuAK with Nested Quantitative Automata. 2026.