Assurance-based Learning-enabled Cyber-Physical Systems

10/25/2021

08:52 AM Document: Runtime (Online) Verification of Autonomous Systems with Real-Time Reachability

Several orders of magnitude progress made analyzing learning-enabled components (LECs) like neural networks and usage...

Daniel Stojcsics

08:51 AM waypoint_following_normal.mp4

Nominal scenario without obstacles

Daniel Stojcsics

08:50 AM way-point-following-obstacle-avoidance_4x.mp4

Nominal scenario with obstacle avoidance

Daniel Stojcsics

08:50 AM degraded-obstacle-avoidance4x.mp4

Degradation scenario with obstacle avoidance

Daniel Stojcsics

08:50 AM degraded-waypoint-following-4x.mp4

Degradation scenario without obstacles

Daniel Stojcsics