共 26 条
[2]
Athanasopoulos N., 2017, ARXIV170200598
[3]
Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
[6]
Blanchini F, 2008, SYST CONTROL-FOUND A, P1
[9]
Fiacchini M, 2016, 2016 EUROPEAN CONTROL CONFERENCE (ECC), P2035, DOI 10.1109/ECC.2016.7810591