Milan Ganai

According to our database, Milan Ganai authored at least 6 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey.

Milan Ganai, Sicun Gao, Sylvia L. Herbert

CoRR, 2024

Safe and Reliable Training of Learning-Based Aerospace Controllers.

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

CoRR, 2024

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates.

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

CoRR, 2024

2023

Target-independent XLA optimization using Reinforcement Learning.

Milan Ganai, Haichen Li, Theodore Enns, Yida Wang, Randy Huang

CoRR, 2023

Iterative Reachability Estimation for Safe Reinforcement Learning.

Milan Ganai, Zheng Gong, Chenning Yu, Sylvia L. Herbert, Sicun Gao

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models.

Milan Ganai, Chiaki Hirayama, Ya-Chien Chang, Sicun Gao

Proceedings of the IEEE International Conference on Robotics and Automation, 2023