%0 Journal Article %1 journals/corr/abs-2401-11287 %A Dahlsen-Jensen, Mikael Bisgaard %A Fievet, Baptiste %A Petrucci, Laure %A van de Pol, Jaco %D 2024 %J CoRR %K dblp %T On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version). %U http://dblp.uni-trier.de/db/journals/corr/corr2401.html#abs-2401-11287 %V abs/2401.11287

@article{journals/corr/abs-2401-11287, added-at = {2024-02-05T00:00:00.000+0100}, author = {Dahlsen-Jensen, Mikael Bisgaard and Fievet, Baptiste and Petrucci, Laure and van de Pol, Jaco}, biburl = {https://www.bibsonomy.org/bibtex/227b6e33a8b6e5e223fffb1a263906b39/dblp}, ee = {https://doi.org/10.48550/arXiv.2401.11287}, interhash = {c306c57c0e52b2db6c2d36b57d849073}, intrahash = {27b6e33a8b6e5e223fffb1a263906b39}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:46:45.000+0200}, title = {On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2401.html#abs-2401-11287}, volume = {abs/2401.11287}, year = 2024 }