RL-CBF: Verifying Learned Controllers using Certificate Theory (2024)

First Author: Daniel Chee Hian Tan
Attributed to:  RoboHike: Autonomous Quadrupedal Robot Navigation and Hiking in Challenging Rough Terrains funded by FLF

Abstract

No abstract provided

Bibliographic Information

Type: Working Paper