Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach
Journal Article
Overview
publication date
- January 1, 2022
has restriction
- green
Date in CU Experts
- January 27, 2022 5:11 AM
Full Author List
- Noroozi N; Salamati A; Zamani M
author count
- 3
published in
- IEEE Control Systems Letters Journal
Other Profiles
International Standard Serial Number (ISSN)
- 2475-1456
Digital Object Identifier (DOI)
Additional Document Info
start page
- 2210
end page
- 2215
volume
- 6