Synthesising optimal timing delays for Timed I/O Automata.

Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, Alexandru Mereacre

Browse the full EMSOFT paper archive.