Brandon Moore

Papers

Total Citations

H-Index

About

Brandon Moore is a leading researcher in the intersection of robotics and formal verification, with a primary focus on ensuring the safety and reliability of autonomous systems. His most influential work, "ROSRV: Runtime Verification for Robots" (2014), has garnered 97 citations and pioneered a framework for monitoring robotic behavior in real time, bridging the gap between theoretical verification methods and practical deployment. This contribution has been instrumental in advancing runtime verification—a technique that checks system properties during execution—making it accessible to the robotics community through integration with the Robot Operating System (ROS). Moore’s research addresses critical challenges in autonomous navigation, human-robot interaction, and safety-critical systems, where failures can have severe consequences. By developing tools that enable continuous validation of robot actions, he has helped lay the groundwork for more trustworthy autonomous systems in domains like manufacturing and healthcare. His work is widely cited by researchers working on formal methods for robotics, and he continues to influence the field through both his technical innovations and his advocacy for rigorous testing in real-world robotic applications.