Papers
4
Total Citations
42
H-Index
4
About
Falk Howar is a leading researcher in the verification and safety of autonomous robotic systems, with a focus on dynamic, safety-critical environments. His work addresses the fundamental challenge of ensuring reliability in systems like service robots, autonomous cars, and automated guided vehicles (AGVs), where uncertainty and real-time interactions pose significant risks. Howar’s major contributions include pioneering approaches to verifying safety in heterogeneous environments, as evidenced by his highly cited 2016 paper (28 citations) on autonomous system verification. He has also advanced practical solutions for robotic middleware, such as preventing starvation in ROS 2 multithreaded executors (2024, 6 citations), and mitigating collision risks in AGV fleets during control failures (2023, 4 citations). Additionally, his development of the STARS tool (2024, 4 citations) provides a novel method for measuring scenario coverage in robotic system testing, enhancing the rigor of validation processes. Howar’s work bridges theoretical verification with real-world deployment, making him a key figure in the safe integration of autonomous systems into everyday environments. His research is essential for students and engineers seeking to build trustworthy, resilient robotics.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3
- 4