Learning Timed Automata via Genetic Programming

Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen +1

Model learning has gained increasing interest in recent years. It derives behavioural models from test data of black-box systems. The main advantage offered by such techniques is t…