Reachability problems 14th international conference, RP 2020, Paris, France, October 19–21, 2020, proceedings - Schmitz, Sylvain; Potapov, Igor (Lecture notes in computer science, 2020)