Mikael Bisgaard Dahlsen-Jensen (1)

Identifiers

• name variant Mikael Bisgaard Dahlsen-Jensen (1) 0.60 · backfill

Papers (1)

1. State-Space Abstractions for Parametric Timed Games cs.FL · 2026 · author #1

Mentions

• 2606.21516 #1 · arxiv_oai · confidence 0.70 Mikael Bisgaard Dahlsen-Jensen (1)

Frequent Coauthors

• (2) Universit\'e Sorbonne Paris Nord CNRS 1 shared papers
• Aarhus 1 shared papers
• Denmark 1 shared papers
• France) 1 shared papers
• Jaco van de Pol (1) ((1) Aarhus University 1 shared papers
• Laure Petrucci (2) 1 shared papers
• Villetaneuse 1 shared papers