Part of the Physical Sciences and Mathematics Commons

Works by Ibtissem Ben Makhlouf in Physical Sciences and Mathematics

2015

A Benchmark Suite for Hybrid Systems Reachability Analysis, Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski
Computer Science Faculty Publications

Link