Dr. ir. A. Abate

Is betrokken bij de volgende projecten:

Abstraction Techniques for Automatic Verification and Optimal Control of Stochastic Hybrid Systems
project gestart op:
1 januari 2010
hoofdaanvrager:
Dr. ir. A. Abate
verbonden aan:
Technische Universiteit Delft