Projects per year
Fingerprint
- 1 Similar Profiles
Network
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
-
Uppaal Stratego
David, A., Jensen, P. G., Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2015, Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015. Baier, C. & Tinelli, C. (eds.). London, UK: Springer, p. 206-211 6 p. (Lecture Notes in Computer Science; No. 9035).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
81 Citations (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 Access -
Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs
Jaeger, M., Jensen, P. G., Larsen, K. G., Legay, A. B. E., Sedwards, S. & Taankvist, J. H., 28 Oct 2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings: ATVA 2019: Automated Technology for Verification and Analysis. Chen, Y-F., Cheng, C-H. & Esparza, J. (eds.). Springer, p. 81-97 17 p. (Lecture Notes in Computer Science, Vol. 11781).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile6 Citations (Scopus)79 Downloads (Pure) -
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction
Cassez, F., Jensen, P. G. & Larsen, K. G., 13 Jan 2021, In: Fundamenta Informaticae. 178, 1-2, p. 31-57 27 p.Research output: Contribution to journal › Journal article › Research › peer-review
1 Citation (Scopus) -
PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing
Jensen, P. G., Larsen, K. G. & Srba, J., 2017, Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17). Springer, Vol. 10580. p. 248-265 18 p. (Lecture Notes in Computer Science).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
11 Citations (Scopus)
Press / Media
-
Kunstig intelligens forbedrer virtuelle tests
27/06/2019
3 items of Media coverage
Press/Media: Press / Media
-
Dansk forskning kan hjælpe med at forudsige, hvordan kunstig intelligens reagerer i kritiske situationer
21/06/2019
3 items of Media coverage
Press/Media: Press / Media
-