Thomas Haspl

According to our database, Thomas Haspl authored at least 3 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2021

Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability.

Michael Rathmair, Christoph Luckeneder, Thomas Haspl, Bernhard Reiterer, Ralph Hoch, Michael W. Hofbaur, Hermann Kaindl

Proceedings of the 30th IEEE International Conference on Robot & Human Interactive Communication, 2021

A Formal Verification Approach for Robotic Workflows.

Michael Rathmair, Thomas Haspl, Titanilla Komenda, Bernhard Reiterer, Michael W. Hofbaur

Proceedings of the 20th International Conference on Advanced Robotics, 2021

2019

Stress Measurement in Multi-tasking Decision Processes Using Executive Functions Analysis.

Lucas Paletta, Martin Pszeida, Bernhard Nauschnegg, Thomas Haspl, Raphael Marton

Proceedings of the Advances in Neuroergonomics and Cognitive Engineering, 2019