5 citations · 9 across the 6 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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…