Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach
Conference Proceeding
Overview
publication date
- June 23, 2022
Date in CU Experts
- December 31, 2024 7:15 AM
Full Author List
- Salamati A; Zamani M
Full Editor List
- Firoozi R; Mehr N; Yel E; Antonova R; Bohg J; Schwager M; Kochenderfer M
author count
- 2
citation count
- 7
presented at event
Other Profiles
International Standard Serial Number (ISSN)
- 2640-3498
Additional Document Info
volume
- 168