Mikael Bisgaard Dahlsen-Jensen

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Experimental Evaluation

Expectation Maximization

Segmentation Algorithm

Top Venues

Publications

Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol
On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version). CoRR (2024)
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol
On-The-Fly Algorithm for Reachability in Parametric Timed Games. TACAS (3) (2024)