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

Overview

publication date

  • August 1, 2025

has restriction

  • closed

Date in CU Experts

  • February 1, 2025 8:01 AM

Full Author List

  • Skovbekk J; Laurenti L; Frew E; Lahijanian M

author count

  • 4

citation count

  • 0

Other Profiles

International Standard Serial Number (ISSN)

  • 0018-9286

Electronic International Standard Serial Number (EISSN)

  • 1558-2523

Additional Document Info

start page

  • 4960

end page

  • 4975

volume

  • 70

issue

  • 8