Verification of Hyperproperties for Dynamical Systems via Barrier Certificates Journal Article uri icon

Overview

publication date

  • October 1, 2024

has restriction

  • closed

Date in CU Experts

  • October 2, 2024 7:43 AM

Full Author List

  • Anand M; Murali V; Trivedi A; Zamani M

author count

  • 4

Other Profiles

International Standard Serial Number (ISSN)

  • 0018-9286

Electronic International Standard Serial Number (EISSN)

  • 1558-2523

Additional Document Info

start page

  • 6920

end page

  • 6934

volume

  • 69

issue

  • 10