Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings - Bojańczyk, Mikołaj; Lasota, Sławomir; Potapov, Igor (Springer International Publishing : Imprint: Springer, 2015)