Alexander Will

Papers

Total Citations

H-Index

About

Alexander Will is a researcher advancing the safety and reliability of autonomous robotic systems, with key contributions in runtime verification, fault injection, and hazard analysis. His most cited work, "Monitoring ROS2: from Requirements to Autonomous Robots" (2022, 10 citations), addresses the critical challenge of ensuring safe operation in complex, safety-critical Robot Operating System 2 (ROS2) applications. Will demonstrates that runtime verification can monitor systems too intricate for formal verification, but he also highlights the risks of errors in monitoring subsystems themselves—a nuanced contribution that has shaped discussions on dependable autonomy. His more recent paper, "A Fault Injection Framework to Support STPA-Driven Hazard Assessment in a UAM Simulator" (2024), extends this work to urban air mobility (UAM), introducing a systematic approach to intentionally alter processes or data streams to expose hazards. By integrating fault injection with System-Theoretic Process Analysis (STPA), Will provides engineers with a practical tool for pre-deployment safety assessment. Though early in his career, his focus on bridging formal methods with real-world robotic platforms positions him as a rising voice in autonomous systems safety. His work is essential reading for researchers developing verifiable, resilient robots.