Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios.

Neda Saeedloei, Feliks Kluzniak

Browse the full FORTE paper archive.