Upper Bounds for Pursuer Speed in Rectilinear Grids

Abstract : We define a pursuit-evasion game played on a finite grid and establish the speeds sufficient for a pursuer to detect all evaders.

[1]  C. A. R. HOARE,et al.  An axiomatic basis for computer programming , 1969, CACM.

[2]  C. A. R. Hoare,et al.  Procedures and parameters: An axiomatic approach , 1971, Symposium on Semantics of Algorithmic Languages.

[3]  Zohar Manna,et al.  Mathematical Theory of Computation , 2003 .