2 papers
cs.SE2026
Towards Counterfactual Explanation and Assertion Inference for CPS Debugging
Zaid Ghazal, Hadiza Yusuf, Khouloud Gaaloul
Verification and validation of cyber-physical systems (CPS) via large-scale simulation often surface failures that are hard to interpret, especially when triggered by interactions…
cs.SE2025
Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems
Hadiza Umar Yusuf, Khouloud Gaaloul
In the world of Cyber-Physical Systems (CPS), a captivating real-time fusion occurs where digital technology meets the physical world. This synergy has been significantly transform…