A Hidden Markov Model for Detection & Classification of Arm Action in Cricket Using Wearable Sensors. - Saad B. Qaisar; Sahar Imtiaz; Fatma Faruq; Amna Jamal; Wafa Iqbal; Paul Glazier; Sungyoung Lee 001 (J. Mobile Multimedia, 2013)

Simultaneous Task Allocation and Planning Under Uncertainty. - Fatma Faruq; David Parker 001; Bruno Lacerda; Nick Hawes (IROS, 2018)

Probabilistic planning with formal performance guarantees for mobile service robots. - Bruno Lacerda; Fatma Faruq; David Parker 001; Nick Hawes (Int. J. Robotics Res., 2019)

Verified multi-robot planning under uncertainty. - Fatma Faruq (2022)

A Framework for Simultaneous Task Allocation and Planning under Uncertainty. - Fatma Faruq; Bruno Lacerda; Nick Hawes; David Parker 001 (ACM Trans. Auton. Adapt. Syst., 2024)

Varanus: Runtime Verification for CSP. - Matt Luckcuck; Angelo Ferrando 001; Fatma Faruq (CoRR, 2025)