Minimal-Time Synthesis for Parametric Timed Automata.

tienne Andr, Vincent Bloemen, Laure Petrucci, Jaco van de Pol

Browse the full TACAS paper archive.