?
2023 IEEE Conference on Control Technology and Applications (CCTA) ,
4
Guaranteed safe controller synthesis for switched systems u..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
5
STOMPC: Stochastic Model-Predictive Control with Uppaal Str..:
, In:
?
Formal Aspects of Component Software; Lecture Notes in Computer Science ,
10
Modeling Guidelines for Component-Based Supervisory Control..:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
11