Assurance-based Learning-enabled Cyber-Physical Systems

This simulation presents a waypoint following scenario, with a wide "wall" obstacle. UUV avoids the obstacle and returns to the path immediately. Cross Track Error (x_track_error=true) is minimized for that.
With use_behaviour_tree = true, the autonomy is controlled by a BT based logic in the ALC Toolchain.