Tobias Schuele

Papers

Total Citations

H-Index

About

Tobias Schuele is a leading researcher in the formal verification of safety-critical systems, with a particular focus on behaviour-based control for autonomous mobile robots. His most influential work demonstrates how formal methods can be applied to ensure the safe operation of outdoor robotic platforms, such as the RAVON robot, by verifying safety properties within behaviour-based control networks. This foundational paper, which has garnered 15 citations, addresses the critical challenge of guaranteeing reliable robot behaviour in unpredictable outdoor environments. Schuele’s contributions lie at the intersection of robotics and formal verification, providing rigorous techniques to prove that autonomous systems adhere to safety constraints during navigation and obstacle avoidance. His research has significant implications for the deployment of trustworthy robots in real-world settings, where failures could lead to hazardous outcomes. By bridging the gap between theoretical verification and practical robotic control, Schuele has advanced the state of the art in dependable autonomous systems, making his work essential reading for researchers and engineers developing safety-assured mobile robots.