Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach Journal Article uri icon

Overview

publication date

  • May 1, 2023

has restriction

  • closed

Date in CU Experts

  • July 1, 2023 11:16 AM

Full Author List

  • Nejati A; Lavaei A; Jagtap P; Soudjani S; Zamani M

author count

  • 5

citation count

  • 2

Other Profiles

International Standard Serial Number (ISSN)

  • 0018-9286

Electronic International Standard Serial Number (EISSN)

  • 1558-2523

Additional Document Info

start page

  • 3011

end page

  • 3024

volume

  • 68

issue

  • 5