Ignacio D. Lopez-Miguel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECAI | OFTEN-DEEPRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning Agents. | Ignacio D. Lopez-Miguel, Sebastian P. Adam, Ezio Bartocci, Thomas Eiter, Martin Tappler |
| 2025 | IJCAI | Rule-Guided Reinforcement Learning Policy Evaluation and Improvement. | Martin Tappler, Ignacio D. Lopez-Miguel, Sebastian Tschiatschek, Ezio Bartocci |
| 2024 | SAC | Student Research Abstract: Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement. | Ignacio D. Lopez-Miguel |
| 2023 | EANN | Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN. | Ignacio D. Lopez-Miguel, Borja Fernndez Adiego, Faiq Ghawash, Enrique Blanco Viuela |
| 2023 | ECAI | Progression for Monitoring in Temporal ASP. | Davide Sold, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter |
| 2021 | MEMOCODE | Simplification of numeric variables for PLC model checking. | Ignacio D. Lopez-Miguel, Borja Fernndez Adiego, Jean-Charles Tournier, Enrique Blanco Viuela, Juan A. Rodrguez-Aguilar |