Robust Adaptive Multi-Step Predictive Shielding (Student Abstract). - Tanmay Ambadkar; Darshan Chudiwal; Greg Anderson 003; Abhinav Verma 001 (AAAI, 2026)

Safer Policies via Affine Representations Using Koopman Dynamics. - Tanmay Ambadkar; Darshan Chudiwal; Greg Anderson 003; Abhinav Verma 001 (NASA Formal Methods - 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings, 2026)