research
∙
10/30/2022
FI-ODE: Certified and Robust Forward Invariance in Neural ODEs
We study how to certifiably enforce forward invariance properties in neu...
share
research
∙
07/11/2022
Safe Drone Flight with Time-Varying Backup Controllers
The weight, space, and power limitations of small aerial vehicles often ...
research
∙
04/18/2022
Neural Gaits: Learning Bipedal Locomotion via Control Barrier Functions and Zero Dynamics Policies
This work presents Neural Gaits, a method for learning dynamic walking g...
research
∙
02/05/2022
LyaNet: A Lyapunov Framework for Training Neural ODEs
We propose a method for training ordinary differential equations by usin...
research
∙
03/22/2019
Interpretable Reinforcement Learning via Differentiable Decision Trees
Decision trees are ubiquitous in machine learning for their ease of use ...
research
∙
10/31/2018