Optimal Symbolic Controllers Determinization for BDD storage. - Ivan S. Zapreev; Cees Verdier; Manuel Mazo Jr. 002 (ADHS, 2018)

Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming. - Cees Ferdinand Verdier; Manuel Mazo Jr. 002 (CDC, 2018)

Formal controller synthesis for hybrid systems using genetic programming. - Cees Ferdinand Verdier; Manuel Mazo Jr. 002 (CoRR, 2020)

Formal synthesis of analytic controllers: An evolutionary approach. - Cees Ferdinand Verdier (2020)

Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. - Cees Ferdinand Verdier; Niklas Kochdumper; Matthias Althoff; Manuel Mazo Jr. 002 (Autom., 2022)