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

Overview

publication date

  • September 1, 2021

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

Other Profiles

International Standard Serial Number (ISSN)

  • 0005-1098

Electronic International Standard Serial Number (EISSN)

  • 1873-2836

Additional Document Info

volume

  • 131

number

  • ARTN 109781