Project Details
Description
SCALABLE VERIFICATION OF AUTONOMOUS SYSTEMS USING GRAY-BOX REACHABILITY APPROVED FOR PUBLIC RELEASE
| Status | Finished |
|---|---|
| Effective start/end date | 01/19/22 → 01/18/25 |
Funding
- US Navy Office of Naval Research: $349,675.00
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.