https://ignaciolopezmiguel.github.io/publication-type/1/2025-10-17T08:24:40+00:00weeklyhttps://ignaciolopezmiguel.github.io/publication/often-deeprl-on-the-fly-teaching-of-ethical-norms-to-deep-reinforcement-learning-agents/2025-10-17T08:24:40+00:00weeklyhttps://ignaciolopezmiguel.github.io/publication_types/2025-10-17T08:24:40+00:00weeklyhttps://ignaciolopezmiguel.github.io/publication/2025-10-17T08:24:40+00:00weeklyhttps://ignaciolopezmiguel.github.io/tag/academic/2025-07-14T00:00:00+00:00weeklyhttps://ignaciolopezmiguel.github.io/news/2025-07-14T00:00:00+00:00weeklyhttps://ignaciolopezmiguel.github.io/news/ecai25/2025-07-14T00:00:00+00:00weeklyhttps://ignaciolopezmiguel.github.io/tags/2025-07-14T00:00:00+00:00weeklyhttps://ignaciolopezmiguel.github.io/publication/rule-guided-reinforcement-learning-policy-evaluation-and-improvement/2025-04-29T15:58:00+00:00weeklyhttps://ignaciolopezmiguel.github.io/news/ijcai25/2025-04-28T00:00:00+00:00weeklyhttps://ignaciolopezmiguel.github.io/publication/formal-verification-of-plcs-as-a-service-a-cern-gsi-safety-critical-case-study/2025-03-11T19:56:00+00:00weeklyhttps://ignaciolopezmiguel.github.io/news/nfm25/2025-02-14T00:00:00+00:00weeklyhttps://ignaciolopezmiguel.github.io/news/nii/2024-12-14T00:00:00+00:00weeklyhttps://ignaciolopezmiguel.github.io/publication/student-research-abstract-enhancing-safety-in-cyber-physical-systems-through-runtime-enforcement/2024-08-04T07:41:00+00:00weeklyhttps://ignaciolopezmiguel.github.io/news/sac24/2024-04-12T00:00:00+00:00weeklyhttps://ignaciolopezmiguel.github.io/publication/working-together-for-safer-systems-a-collaboration-model-for-verification-of-plc-code/2023-10-27T14:26:33+00:00weeklyhttps://ignaciolopezmiguel.github.io/publication/progression-for-monitoring-in-temporal-asp/2023-10-27T13:50:11+00:00weeklyhttps://ignaciolopezmiguel.github.io/news/ecai23/2023-06-30T00:00:00+00:00weeklyhttps://ignaciolopezmiguel.github.io/publication/from-natural-language-requirements-to-the-verification-of-programmable-logic-controllers/2023-06-16T13:32:54+00:00weeklyhttps://ignaciolopezmiguel.github.io/publication/verification-of-neural-networks-meets-plc-code-an-lhc-cooling-tower-control-system-at-cern/2023-06-15T13:26:25+00:00weeklyhttps://ignaciolopezmiguel.github.io/publication/stop-at-red-engineering-meets-ethics/2023-05-25T13:37:00+00:00weeklyhttps://ignaciolopezmiguel.github.io/news/eann23/2023-03-30T00:00:00+00:00weeklyhttps://ignaciolopezmiguel.github.io/news/nfm23/2023-03-30T00:00:00+00:00weeklyhttps://ignaciolopezmiguel.github.io/2022-10-24T00:00:00+00:00weeklyhttps://ignaciolopezmiguel.github.io/publication/simplification-of-numeric-variables-for-plc-model-checking/2021-11-22T22:24:57+00:00weeklyhttps://ignaciolopezmiguel.github.io/publication/applying-model-checking-to-highly-configurable-safety-critical-software-the-sps-pps-plc-program/2021-10-22T20:20:50+00:00weeklyhttps://ignaciolopezmiguel.github.io/publication/plcverif-status-of-a-formal-verification-tool-for-programmable-logic-controller/2021-10-22T19:49:00+00:00weeklyhttps://ignaciolopezmiguel.github.io/admin/weeklyhttps://ignaciolopezmiguel.github.io/categories/weeklyhttps://ignaciolopezmiguel.github.io/event/weekly