Research output per year
Research output per year
Fingerprint
Dive into the research topics where Mikael Bisgaard Dahlsen-Jensen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 1 Article in proceedings
-
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