Stefan Pranger

12 papers A* 1B 1C 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Shields for Safe Reinforcement Learning.
Commun. ACM
Bettina Könighofer, Roderick Bloem, Nils Jansen, Sebastian Junges, Stefan Pranger
2024 A* conf
Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning.
NeurIPS
Stefan Pranger, Hana Chockler, Martin Tappler, Bettina Könighofer
2024 J jnl
Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning.
CoRR
Stefan Pranger, Hana Chockler, Martin Tappler, Bettina Könighofer
2024 J jnl
Tools at the Frontiers of Quantitative Verification.
CoRR
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2023 — conf
Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report.
TOOLympics@ETAPS
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2022 — conf
Automata Learning Meets Shielding.
ISoLA (1)
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
2022 J jnl
Automata Learning meets Shielding.
CoRR
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
2021 C conf
Adaptive Shielding under Uncertainty.
ACC
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem
2021 B conf
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments.
ATVA
Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem
2021 J jnl
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments.
CoRR
Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem
2020 J jnl
Adaptive Shielding under Uncertainty.
CoRR
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem
2019 — conf
Run-Time Optimization for Learned Controllers Through Quantitative Games.
CAV (1)
Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Könighofer, Stefan Pranger