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