16 citations · 16 across the 3 of their papers we have counts for
3 papers
eess.SY2021
Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression
John Jackson, Luca Laurenti, Eric Frew +1
Autonomous systems often have complex and possibly unknown dynamics due to, e.g., black-box components. This leads to unpredictable behaviors and makes control design with performa…
eess.SY2021★ 16 cited
Strategy Synthesis for Partially-known Switched Stochastic Systems
John Jackson, Luca Laurenti, Eric Frew +1
We present a data-driven framework for strategy synthesis for partially-known switched stochastic systems. The properties of the system are specified using linear temporal logic (L…
eess.SY2020
Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression
John Jackson, Luca Laurenti, Eric Frew +1
The deployment of autonomous systems that operate in unstructured environments necessitates algorithms to verify their safety. This can be challenging due to, e.g., black-box compo…