@misc{indiciae18cfbea91c65,
  title = {Extending QuAK with Nested Quantitative Automata},
  author = {Thomas A. Henzinger and Nicolas Mazzocchi and N. Ege Saraç and Harun Yılmaz},
  year = {2026},
  url = {https://arxiv.org/abs/2605.12418},
  note = {Source identifier: 2605.12418}
}