Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems - Ben Makhlouf, Ibtissem (Verfasser); Kowalewski, Stefan (Akademischer Betreuer); Frehse, Goran (Akademischer Betreuer) (Aachener Informatik-Berichte, 2016)