Gustavo Carvalho

Papers

Total Citations

H-Index

About

Gustavo Carvalho is a leading researcher in the formal verification and testing of robotic systems, with a particular focus on the interplay between software, hardware, and the physical environment. His most significant contribution is the **RoboStar Technology**, a comprehensive toolbox that unifies proof, simulation, and testing for roboticists, enabling more rigorous and reliable development. This foundational work has accumulated 28 citations and established a new paradigm for robotic software engineering. Carvalho also addresses the practical challenge of mobile device testing through a systematic mapping study (10 citations), highlighting how robotic automation can overcome the limitations of intrusive and unrealistic manual testing. His **RoboWorld** framework (7 citations each) is a landmark achievement, tackling the notoriously difficult problem of environment-in-the-loop verification. By formalizing environmental assumptions rather than requiring complete models, Carvalho's work allows engineers to verify that a robot will behave correctly under realistic, unpredictable conditions. His research is instrumental in bridging the gap between theoretical formal methods and practical robotics, making complex verification accessible to working roboticists.