Adnan Elahi

Capital University of Science and Technology

Papers

Total Citations

H-Index

About

Adnan Elahi is a researcher focused on the intersection of formal methods and multi-robot systems, with a particular emphasis on enhancing the reliability and predictability of robot swarms. His most-cited work, "Formal modelling and verification approach for improving probabilistic behaviour of Robot Swarms" (2017, 5 citations), addresses a critical challenge in swarm robotics: ensuring that the emergent, collective behavior of multiple robots is both robust and verifiable. Elahi’s key contribution lies in applying formal modelling and verification techniques to model the probabilistic behaviors inherent in swarm systems, thereby improving their dependability in real-world applications. This is especially vital for high-stakes scenarios, such as calamity salvage missions, where swarms of varying-sized robots must coordinate effectively in unpredictable environments. By bridging the gap between theoretical formal verification and practical swarm deployment, Elahi provides a foundational approach for designing safer, more predictable autonomous systems. His work is particularly relevant for students and researchers interested in formal methods, probabilistic modelling, and the engineering of reliable multi-robot systems for disaster response and other complex tasks.