94 citations · 100 across the 9 of their papers we have counts for
3 papers · 1 filter
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows
Apurva Badithela, Josefine B. Graebener, Wyatt Ubellacker +3
We study automated test generation for verifying discrete decision-making modules in autonomous systems. We utilize linear temporal logic to encode the requirements on the system u…
Safety-Critical Controller Verification via Sim2Real Gap Quantification
Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames
The well-known quote from George Box states that: "All models are wrong, but some are useful." To develop more useful models, we quantify the inaccuracy with which a given model re…
A Barrier-Based Scenario Approach to Verify Safety-Critical Systems
Prithvi Akella, Aaron D. Ames
In this letter, we detail our randomized approach to safety-critical system verification. Our method requires limited system data to make a strong verification statement. Specifica…