Guard - Guaranteeing Service Robot Dependability During the Entire Life Cycle

Research output

Research output per year 2015 2016 2017 2017

• 8 Paper
• 5 Conference paper

Research output per year

Research output per year

Search results

• 2017

  Adapting Edge Weights for Optimal Paths in a Navigation Graph

  Mühlbacher, C., Steinbauer, G., Gspandl, S. & Reip, M., 2017, RAAD 2017.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• A Model-Based Fault Detection, Diagnosis and Repair for Autonomous Robotics systems

  Loigge, S., Mühlbacher, C., Steinbauer, G., Gspandl, S. & Reip, M., 10 May 2017.

  Research output: Contribution to conference › Paper › peer-review

• An Autonomous Transportation Robot for Urban Environments

  Lassnig, K., Mühlbacher, C., Steinbauer, G., Gspandl, S. & Reip, M., 10 May 2017.

  Research output: Contribution to conference › Paper › peer-review

• Estimation of the Traversal Time for a Fleet of Industrial Transport Robots

  Mühlbacher, C., Steinbauer, G., Gspandl, S. & Reip, M., 2017, RAAD 2017.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Model-Based Testing of An Industrial Multi-Robot Navigation System

  Mühlbacher, C., Steinbauer, G., Gspandl, S. & Reip, M., 2017.

  Research output: Contribution to conference › Paper › peer-review

• Model-Based Testing of an Industrial Multi-Robot Navigation System (Extended Abstract)

  Mühlbacher, C., Steinbauer, G., Gspandl, S. & Reip, M., 2017, Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Task-Dependent Configuration of Robotics Systems

  Pagonis, A., Mühlbacher, C., Steinbauer, G., Gspandl, S. & Reip, M., 10 May 2017.

  Research output: Contribution to conference › Paper › peer-review
• 2016

  Belief Management using the Action History and Consistency-Based-Diagnosis

  Mühlbacher, C. & Steinbauer, G., 2016.

  Research output: Contribution to conference › Paper › peer-review

• Hands Off - A Holistic Model-Based Approach for Long-Term Autonomy

  Mühlbacher, C. & Steinbauer, G., 16 May 2016.

  Research output: Contribution to conference › Paper › peer-review

• Hierarchical Planning with Traffic Zones for a Team of Industrial Transport Robots

  Imlauer, S., Mühlbacher, C., Steinbauer, G., Gspandl, S. & Reip, M., 14 Jun 2016.

  Research output: Contribution to conference › Paper › peer-review

• Improving Dependability of Industrial Transport Robots Using Model-Based Techniques

  Mühlbacher, C., Reip, M., Gspandl, S. & Steinbauer, G., 16 May 2016.

  Research output: Contribution to conference › Paper › peer-review

• Supervision of Hardware, Software and Behavior of Autonomous Industrial Transport Robots

  Mühlbacher, C., Steinbauer, G. & Loigge, S., Aug 2016, Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016. p. 298-300 7573759

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
• 2015

  Automatic Model Generation to Diagnose Autonomous Systems

  Santos Simon, J., Mühlbacher, C. & Steinbauer, G., 2015, (Accepted/In press) International Workshop on Principles of Diagnosis. .

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review