Fatma Faruq

Papers

Total Citations

H-Index

About

Fatma Faruq is a robotics and artificial intelligence researcher specializing in probabilistic planning, formal verification, and multi-robot systems operating under uncertainty. Her work sits at the intersection of theoretical computer science and practical robotics, developing rigorous mathematical frameworks that enable autonomous systems to make reliable decisions in unpredictable real-world environments. Her most influential contribution, "Probabilistic Planning with Formal Performance Guarantees for Mobile Service Robots" (2019, 66 citations), introduced a groundbreaking framework leveraging Markov decision processes and probabilistic verification techniques to generate optimal robot task plans with mathematically provable performance guarantees — a significant advancement over heuristic-based approaches that offer no such assurances. Faruq has also made notable strides in multi-robot coordination, pioneering simultaneous task allocation and planning techniques that allow robot teams to operate more efficiently by jointly optimizing assignments and individual robot behavior rather than treating these as separate problems. This line of research, explored across multiple publications spanning 2018 to 2024, addresses a fundamental challenge in deploying robot fleets in dynamic environments. Her research has meaningful implications for service robotics, warehouse automation, and any domain requiring dependable autonomous decision-making, establishing her as a thoughtful contributor to the formal methods and robotics communities.