2 papers
eess.SY2026
Temporal Property-driven Design Space Exploration with Reinforcement Learning for Cyber-Physical Systems
Tagir Fabarisov, Maxime Cordy
Design-space exploration of configurable Cyber-Physical Systems (CPS) requires executable evaluation when design choices affect timing, fault propagation, recovery behavior, and te…
cs.LG2026
t-STEP: An interpretable model for Total Electron Content predictions and irregularities estimations
Stephen Tete, Carl Shneider, Maxime Cordy +3
Earth system infrastructures relying on satellite-based technologies, such as Global Positioning System (GPS) communications, are affected by ionospheric Total Electron Content (TE…