Implemented HJR Analysis to compute Reachable Sets and Tubes for a Dubins airplane.
Implemented HJR Analysis to perform safety analysis of facility wireless communications networks.
Adapted Simulink models to current HJR toolboxes for safety analysis on VTOL vehicles.
