Welkom...

B. Kohlen MSc (Bram)

Promovendus

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

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

Navigeer naar locatie

Postadres

Universiteit Twente
Postbus 217
7500 AE Enschede