Alexandru Mereacre
|
Alexandru
Mereacre
Research Assistant
mereacre@cs.ox.ac.uk
+44 (0)1865 610715
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
- Probabilistic Verification
- Controller Synthesis
- Stochastic Hybrid Systems
My old webpage at RWTH Aachen University:
http://www-i2.informatik.rwth-aachen.de/i2/mereacre/
My latest publications can be found here:
http://www.veriware.org/publications.php
http://www.informatik.uni-trier.de/~ley/pers/hd/m/Mereacre:Alexandru.html
Biography
Documents
Info
|
Themes |
|
|
Activities |
Probabilistic Model Checking | Quantitative Analysis and Verification |
|
Projects |