TY  - RPRT
TI  - Stubborn Set Reduction for Two-Player Reachability Games
AU  - Frederik Meyer Bønneland
AU  - Peter Gjøl Jensen
AU  - Kim Guldstrand Larsen
AU  - Marco Muñiz
AU  - Jiří Srba
PY  - 2021
DO  - 10.23638/lmcs-17(1:21)2021
UR  - https://arxiv.org/abs/1912.09875
ID  - 1912.09875
ER  -