Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression.

John Jackson Luca Laurenti Eric Frew Morteza Lahijanian

Published in: CoRR (2022)

Keyphrases

dynamical systems
gaussian process regression
formal verification
model checking
gaussian processes
gaussian process
nonlinear dynamical systems
state space
phase space
temporal logic
agent environment
predictive state representations
partially observable
reinforcement learning
active learning