Receding Horizon Surveillance with Temporal Logic Specifications

[C180]Ding, X.C., Belta, C., and Cassandras, C.G.,
Receding Horizon Surveillance with Temporal Logic Specifications Proc. of 49th IEEE Conf. Decision and Control , pp. 256-261, Dec. 2010.