Abstract: Control systems are critical in ensuring the safety of cyber-physical systems (CPS) across domains like airplanes and missiles. Safeguarding CPS necessitates runtime methodologies that ...