Formal Verification of Unknown Dynamical Systems Via Gaussian Process Regression Journal Article uri icon

Overview

publication date

  • January 1, 2025

Date in CU Experts

  • February 1, 2025 8:01 AM

Full Author List

  • Skovbekk J; Laurenti L; Frew E; Lahijanian 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

  • 1

end page

  • 16