A Barrier-Based Scenario Approach to Verifying Safety-Critical Systems

Document Details

Document Type: Pub Defense Publication
Publication Date: Oct 01, 2022
Source ID: 10.1109/lra.2022.3192805

Entities

People

Aaron Ames
Prithvi Akella

Organizations

Air Force Office of Scientific Research
California Institute of Technology