Reachability problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings - Hague, Matthew; Potapov, Igor (Springer, 2017)