Reachability problems 11th international workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings - Hague, Matthew; Potapov, Igor (Lecture notes in computer science, 2017)