1 citations · 1 across the 8 of their papers we have counts for
9 papers
Teach-to-Crash: A Closed-Loop Student-Teacher LLM Framework for Collision-Inducing Test Scenario Generation
Zaid Ghazal, Khouloud Gaaloul, Bruce Maxim
Validating Autonomous Driving Systems (ADS) in simulation requires testing architectures that can discover rare, safety-critical failures while generating scenarios that are execut…
Grammar-Constrained Refinement of Safety Operational Rules Using Language in the Loop: What Could Go Wrong
Khouloud Gaaloul, Zaid Ghazal, Madhu Latha Pulimi +1
Safety specifications in cyber-physical systems (CPS) capture the operational conditions the system must satisfy to operate safely within its intended environment. As operating env…
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…
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…
Automated Test Validators for Flaky Cyber-Physical System Simulators: Approach and Evaluation
Baharin A. Jodat, Khouloud Gaaloul, Mehrdad Sabetzadeh +1
Simulation-based testing of cyber-physical systems (CPS) is costly due to the time-consuming execution of CPS simulators. In addition, CPS simulators may be flaky, leading to incon…
Systematic Evaluation of Initial States and Exploration-Exploitation Strategies in PID Auto-Tuning: A Framework-Driven Approach Applied on Mobile Robots
Zaid Ghazal, Ali Al-Bustami, Khouloud Gaaloul +1
PID controllers are widely used in control systems because of their simplicity and effectiveness. Although advanced optimization techniques such as Bayesian Optimization and Differ…