Rhoger Fellipe Marinho

Papers

Total Citations

H-Index

About

Rhoger Fellipe Marinho is a researcher whose work lies at the intersection of formal methods, probabilistic modelling, and software engineering for robotic systems. His most-cited contribution, "Analysing RoboChart with Probabilities" (2018), has garnered 9 citations and addresses a critical challenge in robotics: verifying the reliability of autonomous systems under uncertainty. By extending the RoboChart modelling language with probabilistic analysis, Marinho provides engineers with rigorous tools to quantify risks and performance guarantees in robotic behaviour—a vital step toward certifying safety-critical applications. This work bridges the gap between abstract formal verification and practical robotic design, offering a framework that can be applied to everything from autonomous vehicles to medical robots. While his citation count reflects the niche but foundational nature of his research, Marinho’s contributions are particularly valued by the formal methods community, where his probabilistic extensions enable more robust and trustworthy robotic systems. For students and researchers exploring the intersection of robotics and formal verification, Marinho’s work serves as a clear example of how mathematical rigour can enhance real-world engineering.