APA (7th ed.) Citation

Chalupa, M., Henzinger, T. A., Mazzocchi, N., & Saraç, N. E. (2025). Automating the Analysis of Quantitative Automata with QuAK.

Chicago Style (17th ed.) Citation

Chalupa, Marek, Thomas A. Henzinger, Nicolas Mazzocchi, and N. Ege Saraç. Automating the Analysis of Quantitative Automata with QuAK. 2025.

MLA (9th ed.) Citation

Chalupa, Marek, et al. Automating the Analysis of Quantitative Automata with QuAK. 2025.