TY  - RPRT
TI  - Learning Timed Automata via Genetic Programming
AU  - Martin Tappler
AU  - Bernhard K. Aichernig
AU  - Kim Guldstrand Larsen
AU  - Florian Lorber
PY  - 2019
UR  - https://arxiv.org/abs/1808.07744
ID  - 1808.07744
ER  -