Alexandru Mereacre
|
Alexandru Mereacre
Research Assistant
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
- Probabilistic Verification
- Controller Synthesis
- Stochastic Hybrid Systems
Info
|
Themes |
|
|
Activities |
Probabilistic Model Checking | Quantitative Analysis and Verification |
|
Projects |
