Umberto J. Ravaioli

According to our database, Umberto J. Ravaioli authored at least 3 papers between 2023 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

CoRR, 2024

2023

A Universal Framework for Generalized Run Time Assurance with JAX Automatic Differentiation.

Umberto J. Ravaioli, Kyle Dunlap, Kerianne Hobbs

Proceedings of the American Control Conference, 2023