@misc{indiciae4bd5616fd5ea,
  title = {Proceedings Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification},
  author = {Giorgio Bacci and Mickaël Randour},
  year = {2026},
  doi = {10.4204/eptcs.454},
  url = {https://arxiv.org/abs/2610.08898},
  note = {Source identifier: 2610.08898}
}