Merge and Conquer: State Merging in Parametric Timed Automata.

tienne Andr, Laurent Fribourg, Romain Soulat

Browse the full ATVA paper archive.