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]
Abstract is missing.