A Benchmarks Library for Extended Parametric Timed Automata.

tienne Andr, Dylan Marinho, Jaco van de Pol

Browse the full TAP paper archive.