Satisfaction of Temporal Logic by Control Systems and Finite Abstractions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jinjin Zhang, Zhaohui Zhu, Lisong Wang. Satisfaction of Temporal Logic by Control Systems and Finite Abstractions. In Jan Dimon Bendtsen, editor, 7th IFAC Symposium on Robust Control Design, ROCOND 2012, Aalborg, Denmark, June 20-22, 2012. pages 734-739, International Federation of Automatic Control, 2012. [doi]

This author has not been identified. Look up 'Jinjin Zhang' in GoogleThis author has not been identified. Look up 'Zhaohui Zhu' in GoogleThis author has not been identified. Look up 'Lisong Wang' in Google

runs on WebDSL