Skip to main content

Alexandru Mereacre

Personal photo - Alexandru Mereacre

Alexandru Mereacre

Research Assistant

Leaving date: 7th June 2015

Interests

Research 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

View Alexandru Mereacre's profile on LinkedIn

Selected Publications

View AllManage publications

Activities