Abstraction-Based Verification of Approximate Preopacity for Control Systems Journal Article uri icon

Overview

publication date

  • January 1, 2023

has restriction

  • green

Date in CU Experts

  • January 28, 2023 4:02 AM

Full Author List

  • Hou J; Liu S; Yin X; Zamani M

author count

  • 4

citation count

  • 0

Other Profiles

International Standard Serial Number (ISSN)

  • 2475-1456

Additional Document Info

start page

  • 1087

end page

  • 1092

volume

  • 7