Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings - Larsen, Kim Guldstrand; Potapov, Igor; Srba, Jiří (Springer International Publishing : Imprint: Springer, 2016)