Conformal Signal Temporal Logic for Robust Reinforcement Learning Control: A Case Study

Hani Beirami, M M Manjurul Islam

We investigate how formal temporal logic specifications can enhance the safety and robustness of reinforcement learning (RL) control in aerospace applications. Using the open sourc…