Thomas Haspl
Papers
4
Total Citations
27
H-Index
3
About
Thomas Haspl is a leading researcher in the field of human-robot collaboration, with a primary focus on safety, formal verification, and cognitive workload in manufacturing systems. His most cited work, "Collision Tests in Human-Robot Collaboration" (2023, 12 citations), provides critical experimental data on how additional impact parameters affect safety during physical human-robot interactions, directly informing biomechanical limits for collaborative workspaces. Haspl has also pioneered the use of formal verification methods to ensure the safety and correctness of complex robotic applications, as demonstrated in his papers on symbolic model checking (2021, 4 citations) and layer-based workflow verification (2021, 3 citations). Beyond physical safety, his research on stress measurement in multi-tasking decision processes (2019, 8 citations) explores how executive functions can be analyzed to optimize human performance in shared human-robot environments. By combining empirical collision testing with rigorous formal methods, Haspl’s work provides a comprehensive framework for designing safe, reliable, and human-centered collaborative robotic systems, making significant contributions to the advancement of Industry 5.0.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3
- 4A Formal Verification Approach for Robotic Workflows3 citations · 2021