Classification-Based Parameter Synthesis for Parametric Timed Automata.

Jiaying Li, Jun Sun, Bo Gao, tienne Andr

Browse the full ICFEM paper archive.