Thomas Haspl, MSc
Robotics
Kompetenzgruppe ROBOTICS Evaluation Lab
Industrie-Robotersystem-Technologien
Industrie-Robotersystem-Technologien
Lakeside B13b
9020 Klagenfurt
Austria
Publikationen
- An Approach for continuous Verification of Formal System Requirements in Robot-based Machinery
- Software Toolchain for Modeling and Transforming Robotic Workflows into Formally Verifiable Model Representations
- A Formal Verification Approach for Robot Workflows
- Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability
- Model-Based Identification of Mechanical Hazards in Human-Robot-Collaboration Applications
- Proficiency Testing for Contact Force Evaluation in Collaborative Robot Systems
- Flexible industrial mobile manipulation: a software perspective
- RobWood - Smart Robotics for Wood Industry