3 papers
cs.LG2026
ORCAID: Oblique Rule-Based Continuous-Action Interpretation for Deep RL Policies
Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter +1
Explainability remains a key issue in reinforcement learning (RL). Distilling an interpretable policy from an agent trained in a complex environment is particularly challenging whe…
cs.LG2025
Rule-Guided Reinforcement Learning Policy Evaluation and Improvement
Martin Tappler, Ignacio D. Lopez-Miguel, Sebastian Tschiatschek +1
We consider the challenging problem of using domain knowledge to improve deep reinforcement learning policies. To this end, we propose LEGIBLE, a novel approach, following a multi-…
cs.SE2025
Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version)
Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Matias Salinas +1
The increased technological complexity and demand for software reliability require organizations to formally design and verify their safety-critical programs to minimize systematic…