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

Overview

CU Boulder Authors

Zamani, Majid

publication date

September 1, 2021

has restriction

closed

Date in CU Experts

July 30, 2021 2:49 AM

Full Author List

Salamati A; Soudjani S; Zamani M

author count

3

citation count

14

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