@misc{indiciae64e9661e26ea,
  title = {Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification},
  author = {Andrea Orlandini and Martin Zimmermann},
  year = {2018},
  doi = {10.4204/eptcs.277},
  url = {https://arxiv.org/abs/1809.02416},
  note = {Source identifier: 1809.02416}
}