TY - RPRT TI - Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming AU - Cees F. Verdier AU - Manuel Mazo Jr PY - 2018 UR - https://arxiv.org/abs/1812.02711 ID - 1812.02711 ER -