Consistent abstractions for the supervision of sequential behaviours - Bai, Xiaoying; Moor, Thomas (56nd IEEE Conference on Decision and Control, 2017)

Verification of Eventuality Properties for Discrete-time Affine Systems - Bai, Xiaoying (2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2018)
CRIS-Team WoS Importer:2019-02-22