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
99 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 AccessFile12 Citations (Scopus)168 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)
Datasets
-
Repeatability Package for "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems"
Jensen, P. G. (Creator), Schmid, S. (Creator), Schou, M. K. (Creator) & Srba, J. (Creator), Zenodo, 1 Aug 2022
DOI: 10.5281/zenodo.6833494, https://zenodo.org/record/6833494
Dataset
-
Repeatability package for: Methods for Efficient Unfolding of Colored Petri Nets
Kristensen, A. B. (Creator), Jensen, P. G. (Creator), Pedersen, T. (Creator), Srba, J. (Creator) & Taankvist, P. H. (Creator), Zenodo, 6 Apr 2022
DOI: 10.5281/zenodo.6417272, https://zenodo.org/record/6417272
Dataset
-
Artefact for "End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego"
Hasrat, I. R. (Creator), Jensen, P. G. (Creator), Larsen, K. G. (Creator) & Srba, J. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.6548367, https://zenodo.org/record/6548367
Dataset
-
Artefact for "Playing Wordle with Uppaal Stratego"
Jensen, P. G. (Creator), Larsen, K. G. (Creator) & Mikucionis, M. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.6703959, https://zenodo.org/record/6703959
Dataset
-
Artefact for: Automatic Synthesis of Transiently Correct Network Updates via Petri Games
Didriksen, M. (Creator), Jensen, P. G. (Creator), Jønler, J. F. (Creator), Katona, A. (Creator), Lama, S. D. L. (Creator), Lottrup, F. B. (Creator), Shajarat, S. (Creator) & Srba, J. (Creator), Zenodo, 2021
DOI: 10.5281/zenodo.4501982, https://zenodo.org/record/4501982
Dataset
Press/Media
-
Boligejere kan spare mange penge ved intelligent varmepumpestyring
25/04/2023
1 item of Media coverage
Press/Media: Press / Media
-
Nyt intelligent varmepumpesystem giver kraftig energibesparelse
11/11/2022
1 item of Media coverage
Press/Media: Press / Media
-
Intelligent varmepumpestyring er en guldmine
25/10/2022 → 26/10/2022
3 items of Media coverage
Press/Media: 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