Stefan Pranger

Stefan Pranger

BSc, Dipl.-Ing.

20192025

Research activity per year

Fingerprint

Dive into the research topics where Stefan Pranger is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Explainably Safe Reinforcement Learning

    Rieder, S., Pranger, S., Chakraborty, D., Křetínský, J. & Könighofer, B., 2025, (Accepted/In press) 39th Conference on Neural Information Processing Systems (NeurIPS 2025). 30 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Shields for Safe Reinforcement Learning

    Könighofer, B., Bloem, R., Jansen, N., Junges, S. & Pranger, S., 20 Oct 2025, In: Communications of the ACM. 68, 11, p. 80 - 90 11 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File

  • Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report

    Andriushchenko, R., Bork, A., Budde, C. E., Češka, M., Grover, K., Hahn, E. M., Hartmanns, A., Israelsen, B., Jansen, N., Jeppson, J., Junges, S., Köhl, M. A., Könighofer, B., Křetínský, J., Meggendorfer, T., Parker, D., Pranger, S., Quatmann, T., Ruijters, E. & Taylor, L. & 3 others, Volk, M., Weininger, M. & Zhang, Z., 2025, TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions. Beyer, D., Hartmanns, A. & Kordon, F. (eds.). Springer, Cham, p. 90–146 57 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14550 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper

  • Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning

    Pranger, S., Chockler, H., Tappler, M. & Könighofer, B., 2024, 38th Conference on Neural Information Processing Systems (NeurIPS 2024). 24 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access

  • Automata Learning meets Shielding

    Tappler, M., Pranger, S., Könighofer, B., Muskardin, E., Bloem, R. & Larsen, K. G., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings: ISoLA 2022. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 335-359 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    File
View all 9 research outputs
  • 2 Talk at workshop, seminar or course
  • 1 Invited talk
  • 1 Talk at conference or symposium
  • 1 Research at external institution