Milan Ganai

12 papers A* 2B 1Journal 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Self-Supervised Bootstrapping of Action-Predictive Embodied Reasoning.
CoRR
Milan Ganai, Katie Luo, Jonas Frey, Clark W. Barrett, Marco Pavone
2025 J jnl
Foundation models on the bridge: Semantic hazard detection and safety maneuvers for maritime autonomy with vision-language models.
CoRR
Kim Alexander Christensen, Andreas Gudahl Tufte, Alexey Gusev, Rohan Sinha, Milan Ganai, Ole Andreas Alsos, Marco Pavone, Martin Steinert
2025 J jnl
Real-Time Out-of-Distribution Failure Prevention via Multi-Modal Reasoning.
CoRR
Milan Ganai, Rohan Sinha, Christopher Agia, Daniel Morton, Marco Pavone
2024 B conf
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates.
FMCAD
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
2024 J jnl
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates.
CoRR
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
2024 J jnl
Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey.
CoRR
Milan Ganai, Sicun Gao, Sylvia L. Herbert
2024 J jnl
Safe and Reliable Training of Learning-Based Aerospace Controllers.
CoRR
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
2023 A* conf
Iterative Reachability Estimation for Safe Reinforcement Learning.
NeurIPS
Milan Ganai, Zheng Gong, Chenning Yu, Sylvia L. Herbert, Sicun Gao
2023 J jnl
Iterative Reachability Estimation for Safe Reinforcement Learning.
CoRR
Milan Ganai, Zheng Gong, Chenning Yu, Sylvia L. Herbert, Sicun Gao
2023 A* conf
Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models.
ICRA
Milan Ganai, Chiaki Hirayama, Ya-Chien Chang, Sicun Gao
2023 J jnl
Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models.
CoRR
Milan Ganai, Chiaki Hirayama, Ya-Chien Chang, Sicun Gao
2023 J jnl
Target-independent XLA optimization using Reinforcement Learning.
CoRR
Milan Ganai, Haichen Li, Theodore Enns, Yida Wang, Randy Huang