Projekter pr. år
Fingerprint
Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 1 Lignende profiler
Samarbejde i de sidste fem år
Klik på punkterne for at se detaljerne.
-
Explainable and Causally Enforced Reinforcement Learning
Høeg-Petersen, A. H., Larsen, K. G., Wasowski, A. & Jensen, P. G.
01/09/2022 → …
Projekter: Projekt › Ph.d.-projekt
-
BEO-COVID: Beslutningsstøtte for Evaluering og Optimering i UPPAAL
Larsen, K. G., Stoustrup, J., Jensen, P. G., Mikucionis, M., Jørgensen, K. Y., Muniz Rodriguez, M. A., Poulsen, D. B. & Tschaikowski, M.
27/04/2020 → 01/10/2020
Projekter: Projekt › Forskning
Publikationer
-
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. (red.). London, UK: Springer, s. 206-211 6 s. (Lecture Notes in Computer Science; Nr. 9035).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
120 Citationer (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, I: Logical Methods in Computer Science. 17, 1Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang5 Citationer (Scopus) -
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 okt. 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. (red.). Springer, s. 81-97 17 s. (Lecture Notes in Computer Science, Bind 11781).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil20 Citationer (Scopus)372 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, I: Fundamenta Informaticae. 178, 1-2, s. 31-57 27 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
2 Citationer (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, Bind 10580. s. 248-265 18 s. (Lecture Notes in Computer Science).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
12 Citationer (Scopus)
Forskningsdatasæt
-
Repeatability Package for "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems"
Jensen, P. G. (Ophavsperson), Schmid, S. (Ophavsperson), Schou, M. K. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 1 aug. 2022
DOI: 10.5281/zenodo.6833494, https://zenodo.org/record/6833494
Datasæt
-
Repeatability package for: Methods for Efficient Unfolding of Colored Petri Nets
Kristensen, A. B. (Ophavsperson), Jensen, P. G. (Ophavsperson), Pedersen, T. (Ophavsperson), Srba, J. (Ophavsperson) & Taankvist, P. H. (Ophavsperson), Zenodo, 6 apr. 2022
DOI: 10.5281/zenodo.6417272, https://zenodo.org/record/6417272
Datasæt
-
Artefact for "End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego"
Hasrat, I. R. (Ophavsperson), Jensen, P. G. (Ophavsperson), Larsen, K. G. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 2022
DOI: 10.5281/zenodo.6548367, https://zenodo.org/record/6548367
Datasæt
-
Artefact for "Playing Wordle with Uppaal Stratego"
Jensen, P. G. (Ophavsperson), Larsen, K. G. (Ophavsperson) & Mikucionis, M. (Ophavsperson), Zenodo, 2022
DOI: 10.5281/zenodo.6703959, https://zenodo.org/record/6703959
Datasæt
-
DEIS-Tools/libprlearn: 1.0.8
Jensen, P. G. (Ophavsperson), Jørgensen, K. Y. (Ophavsperson) & Mikucionis, M. (Ophavsperson), Zenodo, 10 sep. 2021
DOI: 10.5281/zenodo.5499711, https://zenodo.org/record/5499711
Datasæt
Presse/medier
-
-
Brønderslev Forsyning bliver klogere med kunstig intelligens
02/11/2023 → 06/11/2023
2 elementer af Mediedækning
Presse/medie
-
Klogere end dig og mig? Kunstig intelligens fixer fjernvarmen i nordjysk by
26/10/2023 → 29/10/2023
7 elementer af Mediedækning
Presse/medie
-
Boligejere kan spare mange penge ved intelligent varmepumpestyring
25/04/2023
1 element af Mediedækning
Presse/medie
-
Nyt intelligent varmepumpesystem giver kraftig energibesparelse
11/11/2022
1 element af Mediedækning
Presse/medie