publications
2025
- L4DCSafe Learning in the Real World via Adaptive Shielding with Hamilton-Jacobi ReachabilityLearning for Dynamics and Control Conference (L4DC), 2025
- Fast Confidence-Aware Human Prediction via Hardware-accelerated Bayesian Inference for Safe Robot NavigationIn submission, 2025
2024
2021
- IROSReal-time Hamilton-Jacobi reachability analysis of autonomous system with an fpgaIn 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2021