1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
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…