| Formal controller synthesis via genetic programming CF Verdier, M Mazo Jr IFAC-PapersOnLine 50 (1), 7205-7210, 2017 | 17 | 2017 |
| Formal synthesis of analytic controllers for sampled-data systems via genetic programming CF Verdier, M Mazo 2018 IEEE Conference on Decision and Control (CDC), 4896-4901, 2018 | 13 | 2018 |
| Optimal symbolic controllers determinization for BDD storage IS Zapreev, C Verdier, M Mazo Jr IFAC-PapersOnLine 51 (16), 1-6, 2018 | 13 | 2018 |
| Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications CF Verdier, N Kochdumper, M Althoff, M Mazo Jr Automatica 139, 110184, 2022 | 5 | 2022 |
| Formal controller synthesis for hybrid systems using genetic programming CF Verdier, M Mazo Jr arXiv preprint arXiv:2003.14322, 2020 | 4 | 2020 |
| Near optimal control with reachability and safety guarantees CF Verdier, R Babuška, B Shyrokau, M Mazo Jr IFAC-PapersOnLine 52 (11), 230-235, 2019 | 2 | 2019 |
| Geometric control of an under-actuated balancing robot CF Verdier | 2 | 2015 |
| Formal synthesis of analytic controllers: An evolutionary approach CF Verdier | 1 | 2020 |
Manuel Mazo Jr.Associate Professor at TU Delft在 tudelft.nl 的电子邮件经过验证
Manuel Mazo Jr.Associate Professor at TU Delft在 tudelft.nl 的电子邮件经过验证