Login / Signup
Umberto J. Ravaioli
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Function Approximators
Learning Stage
Robust Stability
Reinforcement Learning
Top Venues
CoRR
ACC
</>
Publications
</>
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
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates.
CoRR
(2024)
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
Safe and Reliable Training of Learning-Based Aerospace Controllers.
CoRR
(2024)
Umberto J. Ravaioli
,
Kyle Dunlap
,
Kerianne Hobbs
A Universal Framework for Generalized Run Time Assurance with JAX Automatic Differentiation.
ACC
(2023)