Poster: Formal Safety Verification of Unknown Continuous-Time Systems: A Data-Driven Approach
Conference Proceeding
Overview
publication date
- May 19, 2021
has restriction
- closed
Date in CU Experts
- January 27, 2022 5:08 AM
Full Author List
- Lavaei A; Nejati A; Jagtap P; Zamani M
author count
- 4