Award 2011
| Awardee of the International Graduate School of Dynamic Intelligent Systems | |
|---|---|
| Prize category | Dynamic Intelligent Systems |
| Name of the Awardee | Michael Gerke |
| Degree and/or affiliation | Saarland Universität, Saarbrücken |
| Honored publication | Fully Symbolic Timed Model Checking using Constraint Matrix Diagrams |
