Towards Safe Reinforcement Learning with Reduced Conservativeness: A Case Study on Drone Flight Control

Loizos Hadjiloizou, Michael C. Welle, Hang Yin +1

Incorporating formal methods into reinforcement learning (RL) has the potential to result in the best of both worlds, combining the robustness of formal guarantees with the adaptab…