Picture for Goli Vaisi

Goli Vaisi

Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions

Add code
Jan 25, 2025
Viaarxiv icon

EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency

Add code
Feb 13, 2023
Viaarxiv icon