On-Demand Mutex Constraints for Numeric Planning as SMT
Abdelwahed, M. F., Bofill, M., Espasa, J., \& Villaret, M. (2026). On-Demand Mutex Constraints for Numeric Planning as SMT. ICAPS 2026.
CV
Education
- Ph.D in Diversity Planning, University of St Andrews, 2026 (expected)
- M.S. in Computer Engineering, Helwan University, 2019
- B.S. in in Communication and Information, Helwan University, 2013
Work experience
- 2019-2026 AI Engineer, EG-CERT, Egypt
- 2016-2022 Teaching/Research Associate, Faculty of Engineering, Helwan University, Egypt
- 2014-2016 Embedded Software Engineer, Valeo, Egypt
Publications
Removing Planner Bias in Goal Recognition Through Multi-Plan Dataset Generation
Abdelwahed, M. F., Meneguzzi, F., Gusmao, K. M. P., \& Espasa, J. (2026). Removing Planner Bias in Goal Recognition Through Multi-Plan Dataset Generation. PlanSig 2026.
From Stories to Cities to Games: A Qualitative Evaluation of Behaviour Planning
Abdelwahed, M. F., Espasa, J., Toniolo, A., \& Gent, I. P. (2026). From Stories to Cities to Games: A Qualitative Evaluation of Behaviour Planning. PlanSig 2026.
Bridging the Gap between Structural and Semantic Similarity in Diverse Planning
Abdelwahed, M. F., Espasa, J., Toniolo, A., and Gent, I. P. (2023). Bridging the Gap between Structural and Semantic Similarity in Diverse Planning. HAXP: Human-Aware and Explainable Planning - ICAPS 2023.
Detecting Malware Activities With MalpMiner: A Dynamic Analysis Approach
Abdelwahed, M. F., Kamal, M. M., and Sayed, S. G. (2023). Detecting Malware Activities with MalpMiner: A Dynamic Analysis Approach. IEEE Access.
Solving the motion planning problem using learning experience through case-based reasoning and machine learning algorithms
Abdelwahed, M.F., Mohamed, A.E. and Saleh, M.A., (2020). Solving the motion planning problem using learning experience through case-based reasoning and machine learning algorithms. Ain Shams Engineering Journal.
Improving Solution Quality for Experience-Based Framework Through Clustering Algorithms
Abdelwahed, M.F., Mohamed, A.E. and Saleh, M.A., (2019). Improving Solution Quality for Experience-Based Framework Through Clustering Algorithms". IEEE Access.
Speeding up single-query sampling-based algorithms using case-based reasoning
Abdelwahed, M.F., Saleh, M. and Mohamed, A.E., (2018). Speeding up single-query sampling-based algorithms using case-based reasoning. Expert Systems with Applications.
Talks
Behaviour Planning: A Feature-based Diversity Planning Approach
Talk at Alan Turning PhD Student Presentations and Networking Day, University of Edinburgh, United Kingdom