Robuta

https://arxiv.org/abs/1808.07744 [1808.07744] Learning Timed Automata via Genetic Programming Abstract page for arXiv paper 1808.07744: Learning Timed Automata via Genetic Programming learning timed automata via genetic