TY  - RPRT
TI  - Formal controller synthesis for hybrid systems using genetic programming
AU  - Cees F. Verdier
AU  - Manuel Mazo Jr
PY  - 2020
UR  - https://arxiv.org/abs/2003.14322
ID  - 2003.14322
ER  -