Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games.

Aleksandra Jovanovic, Didier Lime, Olivier H. Roux

Browse the full ATVA paper archive.