most citedSystematic Evaluation of Initial States and Exploration-Exploitation Strategies in PID Auto-Tuning: A Framework-Driven Approach Applied on Mobile Robots

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing cs.SEShow all

3 papers · 1 filter

cs.SE2026

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…

cs.SE2026

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…

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…