PSPACE-completeness of an escape problem. - Yasuhiko Takenaga; Shigeru Arai (Inf. Process. Lett., 2008)