Rens, Gavin

1. Safe Reinforcement Learning via Probabilistic Logic Shields
   2023/03/06 by Wen-Chi Yang, Yang, Wen-Chi, Giuseppe Marra +5 · 7 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Safety Systems Engineering in Autonomy
2. Learning Non-Markovian Reward Models in MDPs
   2020/01/25 by Rens, Gavin, Raskin, Jean-François · 3 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
3. Online Learning of Non-Markovian Reward Models
   2020/09/26 by Rens, Gavin, Raskin, Jean-François, Reynouad, Raphaël +1 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences