Author:Ibtissem Ben Makhlouf

Publications
HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions Ibtissem Ben Makhlouf, Norman Hansen and Stefan Kowalewski In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability Ibtissem Ben Makhlouf and Stefan Kowalewski In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools Ibtissem Ben Makhlouf and Stefan Kowalewski In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems