
Title |
|---|
![]() Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov
Barrier CertificatesFormal Methods in Computer-Aided Design (FMCAD), 2024 |
![]() Extremum-Seeking Action Selection for Accelerating Policy OptimizationIEEE International Conference on Robotics and Automation (ICRA), 2024 |
![]() Safe Reinforcement Learning via Hierarchical Adaptive Chance-Constraint
SafeguardsIEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2023 |