research
∙
01/09/2023
Physics-Informed Kernel Embeddings: Integrating Prior System Knowledge with Data-Driven Control
Data-driven control algorithms use observations of system dynamics to co...
share
research
∙
12/03/2022
Probabilistic Verification of ReLU Neural Networks via Characteristic Functions
Verifying the input-output relationships of a neural network so as to ac...
research
∙
03/12/2022
SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods
We present SOCKS, a data-driven stochastic optimal control toolbox based...
research
∙
02/08/2022