Data-driven verification and synthesis of stochastic systems via barrier certificates Journal Article
Overview
publication date
- January 1, 2024
has restriction
- green
Date in CU Experts
- December 20, 2023 9:07 AM
Full Author List
- Salamati A; Lavaei A; Soudjani S; Zamani M
author count
- 4
citation count
- 0
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
- 159
number
- ARTN 111323