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

  • Shields for Safe Reinforcement Learning

    Könighofer, B., Bloem, R., Jansen, N., Junges, S. & Pranger, S., 2025, (Accepted/In press) In: Communications of the ACM.

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

    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, (Accepted/In press) Conference on Neural Information Processing Systems (NeurIPS).

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

  • 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

  • Adaptive Shielding under Uncertainty.

    Pranger, S., Könighofer, B., Tappler, M., Deixelberger, M., Jansen, N. & Bloem, R., 25 May 2021, 2021 American Control Conference, ACC 2021. p. 3467-3474 8 p. 9482889. (Proceedings of the American Control Conference; vol. 2021-May).

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

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