Technical University of Darmstadt, National Research Center for Applied Cybersecurity; Eindhoven University of Technology, Hessian Center for AI (hessian.AI); Technical University of Darmstadt; Technical University Darmstadt, Hessian Center for AI (hessian.AI), German Research Center for AI (DFKI)
Quentin Delfosse, Hikaru Shindo, Devendra Dhami, Kristian Kersting
Reinforcement Learning;First-Order-Logic;Symbolic Abstraction;Interpretable Reinforcement Learning;Logic Reinforcement Learning
Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction