Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression.

John Jackson Luca Laurenti Eric W. Frew Morteza Lahijanian

Published in: CoRR (2020)

Keyphrases

dynamical systems
gaussian process regression
differential equations
gaussian process
gaussian processes
covariance function
phase space
model checking
state space
nonlinear dynamical systems
agent environment
semi supervised
search space
predictive state representations