Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming | Read Paper on Bytez