About Me
I have started working in January 2021 on the project "Verified Probabilistic Verification"
Expertise
Engineering & Materials Science
# Clocks
# Markov Processes
# Real Time Systems
# Scalability
# Trajectories
Organisations
Publications
Recent
Hartmanns, A.
, Katoen, J-P.
, Kohlen, B., & Spel, J. (2021).
Tweaking the Odds in Probabilistic Timed Automata. In A. Abate, & A. Marin (Eds.),
Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings (pp. 39-58). (Lecture Notes in Computer Science; Vol. 12846). Springer.
https://doi.org/10.1007/978-3-030-85172-9_3
Contact Details
Visiting Address
University of Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands
Mailing Address
University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands