Étienne André, Didier Lime, Olivier H. Roux. Integer-Complete Synthesis for Bounded Parametric Timed Automata. In Mikolaj Bojanczyk, Slawomir Lasota, Igor Potapov, editors, Reachability Problems - 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings. Volume 9328 of Lecture Notes in Computer Science, pages 7-19, Springer, 2015. [doi]
Abstract is missing.