Milan Ganai

According to our database, Milan Ganai authored at least 10 papers between 2023 and 2026.

Collaborative distances:

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

2026

VISTAQA: Benchmarking Joint Visual Question Answering and Pixel-Level Evidence.

Mozhgan Nasr Azadani, Yimu Wang, Yongpeng Zhu, Lihong Chen, Milan Ganai, Sean Sedwards, Marco Pavone, Krzysztof Czarnecki

CoRR, May, 2026

Self-Supervised Bootstrapping of Action-Predictive Embodied Reasoning.

Milan Ganai, Katie Luo, Jonas Frey, Clark W. Barrett, Marco Pavone

CoRR, February, 2026

2025

Foundation models on the bridge: Semantic hazard detection and safety maneuvers for maritime autonomy with vision-language models.

Kim Alexander Christensen, Andreas Gudahl Tufte, Alexey Gusev, Rohan Sinha, Milan Ganai, Ole Andreas Alsos, Marco Pavone, Martin Steinert

CoRR, December, 2025

Real-Time Out-of-Distribution Failure Prevention via Multi-Modal Reasoning.

Milan Ganai, Rohan Sinha, Christopher Agia, Daniel Morton, Marco Pavone

CoRR, May, 2025

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

Proceedings of the Formal Methods in Computer-Aided Design, 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