@misc{indiciaeab5ee64cacd1,
  title = {Optimal strategies in concurrent reachability games},
  author = {Benjamin Bordais and Patricia Bouyer and Stéphane Le Roux},
  year = {2021},
  url = {https://arxiv.org/abs/2110.14724},
  note = {Source identifier: 2110.14724}
}