• Selma Lagerløfs Vej 300, 1-2-33

    9220 Aalborg Ø

    Denmark

20142020

Research output per year

If you made any changes in Pure these will be visible here soon.

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

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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-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 journalJournal articleResearchpeer-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 proceedingArticle in proceedingResearchpeer-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/journalPosterCommunication

    File

    Press / Media

    Kunstig intelligens forbedrer virtuelle tests

    Peter Gjøl Jensen

    27/06/2019

    3 items of Media coverage

    Press/Media: Press / Media

    Aarhusiansk app hjælper kulturlivet

    Peter Gjøl Jensen

    17/11/2015

    1 item of Media coverage

    Press/Media: Press / Media