Academic

Paper accepted at the European Conference on Artificial Intelligence (ECAI)
Progression for Monitoring in Temporal ASP
Ignacio D. Lopez-Miguel
Jun 30, 2023
Paper accepted at the European Conference on Artificial Intelligence (ECAI)
Paper accepted at the Engineering Applications of Neural Networks conference
Verification of neural networks meets PLC code. An LHC cooling tower control system at CERN
Ignacio D. Lopez-Miguel
Mar 30, 2023
Paper accepted at the Engineering Applications of Neural Networks conference
Paper accepted at the NASA Formal Methods Symposium
From Natural Language Requirements to the Verification of Programmable Logic Controllers. Integrating FRET into PLCverif
Ignacio D. Lopez-Miguel
Mar 30, 2023
Paper accepted at the NASA Formal Methods Symposium