No photo of Mikael Bisgaard Dahlsen-Jensen

Mikael Bisgaard Dahlsen-Jensen

 https://orcid.org/0000-0003-0641-7635

  • Åbogade 34

    8200 Aarhus N

    Denmark

20242024

Research activity per year

  • 1 Article in proceedings
Filter
Article in proceedings

Search results

  • 2024

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

    Dahlsen-Jensen, M. B., Fievet, B., Petrucci, L. & de Pol, J. V., 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 194-212 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14572 LNCS).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    Open Access