Research Assistant haensch[at]embedded[dot]rwth-aachen[dot]de
Tel. +49 241 80 21161
Address: Ahornstr. 55, 52074 Aachen, Germany Office: room 2320 (building H)
Reachability analysis of hybrid systems