Projects per year
Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 5 Similar Profiles
Network
Dive into details by clicking on the dots.
Projects
- 1 Active
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., Muniz, M., Poulsen, D. B. & Tschaikowski, M.
27/04/2020 → 01/10/2020
Project: Research
Research Output
Partial order reduction for reachability games
Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 140).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open Access
File
2
Citations
(Scopus)
2
Downloads
(Pure)
Presentation of the 9th Edition of the Model Checking Contest
Amparore, E., Berthomieu, B., Ciardo, G., Dal Zilio, S., Gallà, F., Hillah, L. M., Hulin-Hubard, F., Jensen, P. G., Jezequel, L., Kordon, F., Le Botlan, D., Liebke, T., Meijer, J., Miner, A., Paviot-Adet, E., Srba, J., Thierry-Mieg, Y., van Dijk, T. & Wolf, K., 1 Jan 2019, International Conference on Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems. Kordon, F., Huisman, M., Steffen, B. & Beyer, D. (eds.). Springer, p. 50-68 19 p. (Lecture Notes in Computer Science, Vol. 11429).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open Access
File
1
Citation
(Scopus)
3
Downloads
(Pure)
Stubborn versus structural reductions for Petri nets
Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 2019, In : Journal of Logic and Algebraic Programming. 102, p. 46-63 18 p.Research output: Contribution to journal › Journal article › Research › peer-review
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
UPPAAL STRATEGO
David, A., Jensen, P. G., Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2019. 1 p.Research output: Contribution to conference without publisher/journal › Poster › Communication
File
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