Max Robotics — Global Service Robot Directory + US Certification

About

Fernando S. Barbosa is a leading researcher in autonomous robotics, specializing in formal methods for motion planning under complex constraints. His work bridges temporal logic, spatial reasoning, and risk-aware decision-making to enable robots to operate safely in unknown and hazardous environments. His most-cited paper, "Guiding Autonomous Exploration With Signal Temporal Logic" (2019, 34 citations), introduces a novel approach that moves beyond greedy exploration by incorporating temporal logic specifications, allowing robots to navigate narrow passages and improve mapping capabilities. In "Sampling-based Motion Planning with Temporal Logic Missions and Spatial Preferences" (2020, 31 citations), Barbosa enriches robot mission specifications by integrating spatial preferences, a previously neglected aspect. His 2021 work, "Risk-Aware Motion Planning in Partially Known Environments" (26 citations), addresses the critical challenge of planning safe trajectories in areas with unknown hazards like gas or radiation leaks. Barbosa’s contributions have significant implications for deploying robots in dangerous settings, such as disaster response and industrial inspection. His research consistently pushes the boundaries of autonomous exploration, ensuring robots can fulfill complex missions while prioritizing safety and efficiency.