Milan Ganai

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 8

Top Topics

Function Approximation

Reinforcement Learning

Behavioural Cloning

Online Training

Top Venues

Publications

Milan Ganai, Sicun Gao, Sylvia L. Herbert
Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey. CoRR (2024)
Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates. CoRR (2024)
Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Kerianne Hobbs, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett
Safe and Reliable Training of Learning-Based Aerospace Controllers. CoRR (2024)
Milan Ganai, Zheng Gong, Chenning Yu, Sylvia L. Herbert, Sicun Gao
Iterative Reachability Estimation for Safe Reinforcement Learning. CoRR (2023)
Milan Ganai, Chiaki Hirayama, Ya-Chien Chang, Sicun Gao
Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models. ICRA (2023)
Milan Ganai, Haichen Li, Theodore Enns, Yida Wang, Randy Huang
Target-independent XLA optimization using Reinforcement Learning. CoRR (2023)
Milan Ganai, Chiaki Hirayama, Ya-Chien Chang, Sicun Gao
Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models. CoRR (2023)
Milan Ganai, Zheng Gong, Chenning Yu, Sylvia L. Herbert, Sicun Gao
Iterative Reachability Estimation for Safe Reinforcement Learning. NeurIPS (2023)