Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications

Created by W.Langdon from gp-bibliography.bib Revision:1.7630

@Article{VERDIER:2022:automatica,
}

Genetic Programming entries for Cees F Verdier Niklas Kochdumper Matthias Althoff Manuel Mazo Espinosa Jr

Citations