Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems

Ibtissem Ben Makhlouf. Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems. PhD thesis, RWTH Aachen University, Germany, 2016. [doi]

Abstract

Abstract is missing.