Verification of Eventuality Properties for Discrete-time Affine Systems
Bai X (2018)
Publication Type: Conference contribution
Publication year: 2018
Publisher: IEEE
City/Town: NEW YORK
Pages Range: 1560-1565
Conference Proceedings Title: 2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC)
Event location: Miami Beach, FL
Authors with CRIS profile
How to cite
APA:
Bai, X. (2018). Verification of Eventuality Properties for Discrete-time Affine Systems. In 2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC) (pp. 1560-1565). Miami Beach, FL, US: NEW YORK: IEEE.
MLA:
Bai, Xiaoying. "Verification of Eventuality Properties for Discrete-time Affine Systems." Proceedings of the 57th IEEE Conference on Decision and Control (CDC), Miami Beach, FL NEW YORK: IEEE, 2018. 1560-1565.
BibTeX: Download