1. Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. (May 2022) Authors: Verdier, Cees Ferdinand; Kochdumper, Niklas; Althoff, Matthias; Mazo, Manuel Journal: Automatica Issue: Volume 139(2022) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗