Max Robotics — Global Service Robot Directory + US Certification

About

Rafael C. Cardoso is a prominent researcher specializing in formal verification, autonomous systems, and robotics, with a particular focus on ensuring the safety and reliability of AI-driven systems operating in high-stakes environments. His work sits at the intersection of runtime verification, robotic software engineering, and autonomous agent programming, addressing one of the most pressing challenges in modern robotics: how do we trust a robot to behave correctly when human oversight is limited or impossible? Cardoso has made significant contributions through the development of practical verification frameworks, most notably ROSMonitoring, a runtime verification tool for the widely-used Robot Operating System (ROS), which has garnered 49 citations and become a key reference in the field. His highly cited overview of verification and validation challenges for inspection robots (60 citations) has helped shape research directions for deploying autonomous systems in nuclear facilities and deep space environments. Complementing this, his review of verification for space autonomous systems (24 citations) further establishes his authority in safety-critical applications. With work spanning BDI agent programming, compositional verification, predictive runtime methods, and security-aware formal verification, Cardoso consistently bridges theoretical rigor with real-world applicability. His cumulative impact makes him an essential figure for researchers building trustworthy autonomous systems.