Matthew Osborne
Papers
1
Total Citations
17
H-Index
1
About
Matthew Osborne is a leading researcher at the intersection of formal verification, autonomous systems, and battery health management. His work addresses a critical challenge in robotics: ensuring the safety and reliability of autonomous systems under real-world constraints, particularly energy limitations. Osborne’s most-cited paper, "Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management" (2019, 17 citations), pioneers a framework that combines rigorous mathematical verification with battery prognostics. This allows autonomous robots to reason about their energy state during mission planning, preventing failures due to power depletion. By bridging formal methods and practical prognostics, Osborne has laid the groundwork for certifiably safe autonomous operations in domains like space exploration and disaster response. His contributions are vital for advancing trustworthy AI in resource-constrained environments, and his work continues to influence both the robotics and formal verification communities.
Research Focus
Key Achievements
Top Papers
- 1