Alexandre Mota

Papers

Total Citations

H-Index

About

Alexandre Mota is a leading researcher in the formal verification and probabilistic analysis of robotic systems, with a particular focus on safety-critical and autonomous robots. His work bridges the gap between rigorous formal methods and practical robotics, most notably through the development of RoboChart, a domain-specific language for modeling robotic architectures. Mota’s key contributions include introducing probabilistic semantics to RoboChart, enabling engineers to reason about uncertainty and reliability in robot behavior. His seminal 2019 paper, "Probabilistic Semantics for RoboChart," has garnered 12 citations, while his 2018 work on analysing RoboChart with probabilities has been cited 9 times, establishing a foundation for quantitative verification in robotics. In a notable applied study, Mota proposed an alternative to traditional simulation-based analysis for cleaning robots, using probabilistic techniques to model and verify their performance—a practical contribution that has attracted 4 citations. His work is instrumental in advancing the formal assurance of robotic systems, from household cleaners to industrial automation, and continues to influence researchers and engineers seeking to embed mathematical rigor into robot design and analysis.