Reachability Problems - Larsen, Kim Guldstrand. Potapov, Igor. Srba, Jiri.; Potapov, Igor; Srba, Jiří (Springer International Publishing, 2016)