@misc{indiciae290e2fde85d6,
  title = {On Higher-Order Reachability Games vs May Reachability},
  author = {Kazuyuki Asada and Hiroyuki Katsura and Naoki Kobayashi},
  year = {2024},
  url = {https://arxiv.org/abs/2203.08416},
  note = {Source identifier: 2203.08416}
}