Tim Quatmann
Tim Quatmann
Postdoc, Rheinisch Westfälische Technische Hochschule Aachen
Joined
March 2018
Names
Emails
****@informatik.rwth-aachen.de (Confirmed)
****@cs.rwth-aachen.de (Confirmed)
Personal Links
Career & Education History
Postdoc
Rheinisch Westfälische Technische Hochschule Aachen (rwth-aachen.de)
2023 – Present
PhD student
Rheinisch Westfälische Technische Hochschule Aachen (rwth-aachen.de)
2016 – 2023
Advisors, Relations & Conflicts
Expertise
Probabilistic Model Checking
, Markov Decision Processes
, MDP
, Markov Chains
, Partial Observability
, POMDP
, Stochastic Shortest Path
2016 – Present
Publications
Co-Authors
- Alexander Bork
- Andrea Turrini
- Arnd Hartmanns
- Bernd Becker
- Bettina Könighofer
- Bryant Israelsen
- Carlos E. Budde
- Christel Baier
- Christian Dehnert
- Christian Hensel
- Daniel Zilken
- David Parker
- Enno Ruijters
- Erika Ábrahám
- Ernst Moritz Hahn
- Florent Delgrange
- Hannah Mertens
- Jakob Piribauer
- Jan Kretínský
- Jan Křetínský
- Jip Spel
- Joachim Klein
- Joost-Pieter Katoen
- Joshua Jeppson
- Krishnendu Chatterjee