Mikael Bisgaard Dahlsen-Jensen

According to our database, Mikael Bisgaard Dahlsen-Jensen authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Controller Synthesis for Parametric Timed Games.

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

CoRR, June, 2025

2024

On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version).

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

CoRR, 2024

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

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

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

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

Dataset, October, 2023