Mikael Bisgaard Dahlsen-Jensen

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

Collaborative distances:

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

2025

Artifact for "Controller Synthesis for Parametric Timed Games".

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

Dataset, May, 2025

Artifact for "Controller Synthesis for Parametric Timed Games".

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

Dataset, April, 2025

Controller Synthesis for Parametric Timed Games.

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

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 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