Udayan Mandal

According to our database, Udayan Mandal authored at least 3 papers between 2022 and 2024.

Collaborative distances:

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

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

2022

Local Area Routes for Vehicle Routing Problems.

Udayan Mandal, Amelia Regan, Julian Yarkony

CoRR, 2022