Pinned Loading

1. CARe CARe Public

   Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets

   Python

2. Zinoex/certified-neural-approximations Zinoex/certified-neural-approximations Public

   Python 2 1

3. AWE_Simulation AWE_Simulation Public

   Code for AWE paper on hybrid safety-critical control

   MATLAB 1 2

4. lrn-moving-targets lrn-moving-targets Public

   We consider a moving target that we seek to learn from samples. Our results extend randomized techniques developed in control and optimization for a constant target to the case where the target is …

   Python