APA (7th ed.) Citation

Dahlsen-Jensen, M. B., Fievet, B., Petrucci, L., & van de Pol, J. (2025). Controller Synthesis for Parametric Timed Games.

Chicago Style (17th ed.) Citation

Dahlsen-Jensen, Mikael Bisgaard, Baptiste Fievet, Laure Petrucci, and Jaco van de Pol. Controller Synthesis for Parametric Timed Games. 2025.

MLA (9th ed.) Citation

Dahlsen-Jensen, Mikael Bisgaard, et al. Controller Synthesis for Parametric Timed Games. 2025.