TY  - RPRT
TI  - Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
AU  - Cees F. Verdier
AU  - Niklas Kochdumper
AU  - Matthias Althoff
AU  - Manuel Mazo Jr
PY  - 2021
UR  - https://arxiv.org/abs/2006.04260
ID  - 2006.04260
ER  -