Automated verification and synthesis of stochastic hybrid systems: A survey Journal Article
Overview
publication date
- December 1, 2022
has restriction
- bronze
Date in CU Experts
- January 31, 2023 2:24 AM
Full Author List
- Lavaei A; Soudjani S; Abate A; Zamani M
author count
- 4
citation count
- 11
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
- 146
number
- ARTN 110617