Data-driven verification of stochastic linear systems with signal temporal logic constraints Journal Article

CU Scholar Open Access

Overview

CU Boulder Authors

Zamani, Majid

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

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.2021.109781

Additional Document Info

volume

131

number

ARTN 109781