Synthesizing Clock-Efficient Timed Automata.

Neda Saeedloei, Feliks Kluzniak

Browse the full IFM paper archive.