Stefan Pranger (Preferred)
Stefan Pranger
PhD student, Technische Universität Graz
Joined
September 2023
Names
Emails
****@iaik.tugraz.at (Confirmed)
Personal Links
Career & Education History
PhD student
Technische Universität Graz (tugraz.at)
2023 – Present
Undergrad student
Technische Universität Graz (tugraz.at)
2015 – 2022
Advisors, Relations & Conflicts
Expertise
probabilistic model checking
Present
formal methods
2020 – Present
reinforcement learning
2020 – Present
Publications
Co-Authors
- Alexander Bork
- Arnd Hartmanns
- Bettina Könighofer
- Bryant Israelsen
- Carlos E. Budde
- David Parker
- Debraj Chakraborty
- Edi Muskardin
- Enno Ruijters
- Ernst Moritz Hahn
- Guy Avni
- Hana Chockler
- Jan Kretinsky
- Joshua Jeppson
- Kim G. Larsen
- Krishnendu Chatterjee
- Kush Grover
- Landon Taylor
- Lukas Posch
- Martin Deixelberger
- Martin Tappler
- Matthias Volk
- Maximilian A. Köhl
- Maximilian Weininger
- Milan Ceska