Receding horizon surveillance with temporal logic specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xu Chu Ding, Calin Belta, Christos G. Cassandras. Receding horizon surveillance with temporal logic specifications. In Proceedings of the 49th IEEE Conference on Decision and Control, CDC 2010, December 15-17, 2010, Atlanta, Georgia, USA. pages 256-261, IEEE, 2010. [doi]

This author has not been identified. Look up 'Xu Chu Ding' in GoogleThis author has not been identified. Look up 'Calin Belta' in GoogleThis author has not been identified. Look up 'Christos G. Cassandras' in Google

runs on WebDSL