Scenario-based Compositional Verification of Autonomous Systems with Neural Perception

Open in new window