Stefan Pranger (Preferred)
Stefan Pranger
- Joined September 2023
Names
Emails
****@iaik.tugraz.at (Confirmed)
Personal Links
Career & Education History
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