TY  - RPRT
TI  - Optimal strategies in concurrent reachability games
AU  - Benjamin Bordais
AU  - Patricia Bouyer
AU  - Stéphane Le Roux
PY  - 2021
UR  - https://arxiv.org/abs/2110.14724
ID  - 2110.14724
ER  -