Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models. - Milan Ganai; Chiaki Hirayama; Ya-Chien Chang; Sicun Gao (ICRA, 2023)

Iterative Reachability Estimation for Safe Reinforcement Learning. - Milan Ganai; Zheng Gong; Chenning Yu; Sylvia L. Herbert; Sicun Gao (NeurIPS, 2023)

Target-independent XLA optimization using Reinforcement Learning. - Milan Ganai; Haichen Li; Theodore Enns; Yida Wang; Randy Huang (CoRR, 2023)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates. - Udayan Mandal; Guy Amir; Haoze Wu 001; Ieva Daukantas; Fletcher Lee Newell; Umberto J. Ravaioli; Baoluo Meng; Michael Durling; Milan Ganai; Tobey Shim; Guy Katz; Clark W. Barrett (FMCAD, 2024)

Safe and Reliable Training of Learning-Based Aerospace Controllers. - Udayan Mandal; Guy Amir; Haoze Wu 001; Ieva Daukantas; Fletcher Lee Newell; Umberto J. Ravaioli; Baoluo Meng; Michael Durling; Kerianne Hobbs; Milan Ganai; Tobey Shim; Guy Katz; et al. (CoRR, 2024)

Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey. - Milan Ganai; Sicun Gao; Sylvia L. Herbert (CoRR, 2024)

Real-Time Out-of-Distribution Failure Prevention via Multi-Modal Reasoning. - Milan Ganai; Rohan Sinha; Christopher Agia; Daniel Morton; Marco Pavone 001 (CoRR, 2025)