Max Robotics — Global Service Robot Directory + US Certification

About

Rafael Rodrigues da Silva is a leading researcher in formal methods for robotics, specializing in the automatic synthesis of safe and correct robot behaviors. His work bridges the critical gap between high-level task specifications and low-level motion control, particularly for autonomous systems operating in dynamic and uncertain environments. Silva’s most influential contributions include the development of automatic trajectory synthesis from real-time temporal logic specifications (10 citations), enabling provably correct behavior for safety-critical systems like autonomous vehicles and service robots. He has pioneered formal design approaches for Integrated Task and Motion Planning (ITMP) for mobile robots and manipulators, addressing the challenges of dynamic environments with moving obstacles—a significant advancement over prior static-environment methods. His work on reactive mission planning for mobile manipulators (7 citations) and the SafeGuardPF framework for guaranteed collision avoidance in unknown environments (4 citations) further demonstrates his impact. Silva has also contributed to cooperative multi-robot systems through combined top-down and bottom-up design approaches. With a total of 35 citations across his most-cited works, his research provides rigorous, performance-guaranteed solutions that are essential for deploying autonomous robots in real-world, human-shared spaces.