Over mij
Sinds Januari 2021 werk ik aan het project "Verified Probabilistic Verification"
Expertises
Engineering & Materials Science
# Clocks
# Markov Processes
# Real Time Systems
# Scalability
# Trajectories
Verbonden aan
Publicaties
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
Contactgegevens
Bezoekadres
Universiteit Twente
Drienerlolaan 5
7522 NB Enschede
Postadres
Universiteit Twente
Postbus 217
7500 AE Enschede