no code implementations • 31 Dec 2021 • John Jackson, Luca Laurenti, Eric Frew, Morteza Lahijanian
In this article, we develop a framework for verifying partially-observable, discrete-time dynamical systems with unmodelled dynamics against temporal logic specifications from a given input-output dataset.
no code implementations • 11 Oct 2021 • John Jackson, Luca Laurenti, Eric Frew, Morteza Lahijanian
The online controller may improve the baseline guarantees since it avoids the discretization error and reduces regression error as new data is collected.
no code implementations • 5 Apr 2021 • John Jackson, Luca Laurenti, Eric Frew, Morteza Lahijanian
We present a data-driven framework for strategy synthesis for partially-known switched stochastic systems.