C. Verdier
发表
Manuel Mazo,
Cees F. Verdier,
M. Mazo,
2017
.
C. F. Verdier,
C. Verdier,
2020
.
Manuel Mazo,
Barys Shyrokau,
Cees F. Verdier,
2019,
IFAC-PapersOnLine.
Manuel Mazo,
Ivan S. Zapreev,
Cees Verdier,
2018,
ADHS.
Manuel Mazo,
Cees F. Verdier,
M. Mazo,
2020,
ArXiv.
Manuel Mazo,
Cees F. Verdier,
M. Mazo,
2018,
2018 IEEE Conference on Decision and Control (CDC).
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
pdf
Matthias Althoff,
Manuel Mazo,
Niklas Kochdumper,
2020,
Autom..