Mutating Skeletons: Learning Timed Automata via Domain Knowledge.

Felix Wallner, Bernhard K. Aichernig, Florian Lorber, Martin Tappler

Browse the full ICST paper archive.