Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata.

tienne Andr, Jaime Arias, Laure Petrucci, Jaco van de Pol

Browse the full TACAS paper archive.