Sign in
Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression.
John Jackson
Luca Laurenti
Eric W. Frew
Morteza Lahijanian
Published in:
CDC (2020)
Keyphrases
</>
dynamical systems
gaussian process regression
gaussian processes
gaussian process
differential equations
state space
nonlinear dynamical systems
covariance function
model checking
agent environment
objective function
high dimensional
bayesian framework
predictive state representations