Muhammad Rafiq Mufti

Papers

Total Citations

H-Index

About

Muhammad Rafiq Mufti’s research centers on formal verification methods for reconfigurable systems and bio-inspired robotics, with a particular focus on hybrid locomotion strategies for mobile robots. His most notable contribution is a comprehensive survey on bio-inspired hybrid locomotion, which explores how animals and birds combine movements—such as jumping, running, flying, and gliding—to navigate complex environments. This work highlights the untapped potential of hybrid motion for small-scale robots, offering a foundation for designing more agile and adaptive autonomous systems. Although his 2023 paper on formal verification of reconfigurable systems has been retracted, it garnered 5 citations, reflecting initial interest in his approach to ensuring reliability in dynamic, reconfigurable hardware. His survey, with 2 citations, serves as a valuable resource for researchers in robotics and biomimetics. Mufti’s work bridges theoretical verification and practical robot design, inspiring new directions in efficient, nature-inspired locomotion.