4 citations · 4 across the 14 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.AI2025
Diverse Planning with Simulators via Linear Temporal Logic
Mustafa F. Abdelwahed, Alice Toniolo, Joan Espasa +1
Autonomous agents rely on automated planning algorithms to achieve their objectives. Simulation-based planning offers a significant advantage over declarative models in modelling c…
cs.CR2025
APThreatHunter: An automated planning-based threat hunting framework
Mustafa F. Abdelwahed, Ahmed Shafee, Joan Espasa
Cyber attacks threaten economic interests, critical infrastructure, and public health and safety. To counter this, entities adopt cyber threat hunting, a proactive approach that in…