TY  - RPRT
TI  - Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification
AU  - Jean-Francois Raskin
AU  - Davide Bresolin
PY  - 2020
DO  - 10.4204/eptcs.326
UR  - https://arxiv.org/abs/2009.09360
ID  - 2009.09360
ER  -