Data-driven verification and synthesis of stochastic systems via barrier certificates Journal Article

Best Open Access

Overview

CU Boulder Authors

Zamani, Majid

publication date

January 1, 2024

has restriction

hybrid

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

13

published in

Automatica Journal

Other Profiles

International Standard Serial Number (ISSN)

0005-1098

Electronic International Standard Serial Number (EISSN)

1873-2836

Digital Object Identifier (DOI)

https://doi.org/10.1016/j.automatica.2023.111323

Additional Document Info

volume

159

number

ARTN 111323