Data-driven verification of stochastic linear systems with signal temporal logic constraints Journal Article
Overview
publication date
- September 1, 2021
has restriction
- green
Date in CU Experts
- July 30, 2021 2:49 AM
Full Author List
- Salamati A; Soudjani S; Zamani M
author count
- 3
citation count
- 6
published in
Other Profiles
International Standard Serial Number (ISSN)
- 0005-1098
Electronic International Standard Serial Number (EISSN)
- 1873-2836
Digital Object Identifier (DOI)
Additional Document Info
volume
- 131
number
- ARTN 109781