Pranger, Stefan

1. Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning
   2024/11/12 by Stefan Pranger, Hana Chockler, Pranger, Stefan +5 · 3 citations
   Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Reinforcement Learning in Robotics
2. Adaptive Shielding under Uncertainty
   2020/10/08 by Pranger, Stefan, Könighofer, Bettina, Tappler, Martin +3 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. TEMPEST -- Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments
   2021/05/26 by Pranger, Stefan, Könighofer, Bettina, Posch, Lukas +1 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
4. Automata Learning meets Shielding
   2022/12/04 by Martin Tappler, Stefan Pranger, Tappler, Martin +9 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Optimization and Search Problems #Reinforcement Learning in Robotics
5. Tools at the Frontiers of Quantitative Verification
   2024/05/22 by Andriushchenko, Roman, Bork, Alexander, Budde, Carlos E. +20 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)