On-The-Fly Algorithm for Reachability in Parametric Timed Games.

Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol

Browse the full TACAS paper archive.