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

Overview

publication date

  • January 1, 2024

has restriction

  • green

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

  • 0

Other Profiles

International Standard Serial Number (ISSN)

  • 0005-1098

Electronic International Standard Serial Number (EISSN)

  • 1873-2836

Additional Document Info

volume

  • 159

number

  • ARTN 111323