TY  - RPRT
TI  - On Higher-Order Reachability Games vs May Reachability
AU  - Kazuyuki Asada
AU  - Hiroyuki Katsura
AU  - Naoki Kobayashi
PY  - 2024
UR  - https://arxiv.org/abs/2203.08416
ID  - 2203.08416
ER  -