Projects per year
Fingerprint
- 1 Similar Profiles
Projects
- 1 Finished
-
BEO-COVID: Decision making tool based on evaluation and optimisation of models in UPPAAL
Larsen, K. G., Stoustrup, J., Jensen, P. G., Mikucionis, M., Jørgensen, K. Y., Rodriguez, M. A. M., Poulsen, D. B. & Tschaikowski, M.
27/04/2020 → 01/10/2020
Project: Research
Research output
-
An investigation of safe and near-optimal strategies for prevention of Covid-19 exposure using stochastic hybrid models and machine learning
Bilgram, A., Jensen, P. G., Jørgensen, K. Y., Larsen, K. G., Mikučionis, M., Muñiz, M., Poulsen, D. B. & Taankvist, P., Dec 2022, In: Decision Analytics Journal. 5, 100141.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile2 Citations (Scopus)53 Downloads (Pure) -
An Integer Static Analysis for Better Extrapolation in Uppaal
Lund, S., van Diepen, J., Larsen, K. G., Muñiz, M., Jørgensen, T. R. & Andersen, T. S. D., 2021, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings. Dima, C. & Shirmohammadi, M. (eds.). Springer, p. 84-99 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12860 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
1 Citation (Scopus) -
Online and Proactive Vehicle Rerouting with Uppaal Stratego
Bilgram, A., Ernstsen, E., Greve, P., Lahrmann, H., Larsen, K. G., Muñiz, M., Taankvist, P. & Pedersen, T., 1 Nov 2021, In: Transportation Research Record. 2675, 11, p. 13-22Research output: Contribution to journal › Conference article in Journal › Research › peer-review
5 Citations (Scopus) -
Stubborn Set Reduction for Timed Reachability and Safety Games
Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., 2021, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings. Dima, C. & Shirmohammadi, M. (eds.). Springer, Vol. 12860. p. 32-49 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12860 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
1 Citation (Scopus) -
Stubborn Set Reduction for Two-Player Reachability Games
Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., 1 Mar 2021, In: Logical Methods in Computer Science. 17, 1Research output: Contribution to journal › Journal article › Research › peer-review
Open Access5 Citations (Scopus)