@misc{indiciae02ced4a7df8e,
  title = {Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification},
  author = {Pierre Ganty and Dario Della Monica},
  year = {2022},
  doi = {10.4204/eptcs.370},
  url = {https://arxiv.org/abs/2209.09333},
  note = {Source identifier: 2209.09333}
}