1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.AI2024
Safe and Reliable Training of Learning-Based Aerospace Controllers
Udayan Mandal, Guy Amir, Haoze Wu +10
In recent years, deep reinforcement learning (DRL) approaches have generated highly successful controllers for a myriad of complex domains. However, the opaque nature of these mode…
cs.AI2024★ 1 cited
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
Udayan Mandal, Guy Amir, Haoze Wu +9
Deep reinforcement learning (DRL) is a powerful machine learning paradigm for generating agents that control autonomous systems. However, the ``black box'' nature of DRL agents lim…
eess.SY2022
A Universal Framework for Generalized Run Time Assurance with JAX Automatic Differentiation
Umberto Ravaioli, Kyle Dunlap, Kerianne Hobbs
With the rise of increasingly complex autonomous systems powered by black box AI models, there is a growing need for Run Time Assurance (RTA) systems that provide online safety fil…