Clemens Mühlbacher

According to our database, Clemens Mühlbacher authored at least 13 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Constraint-Based Testing of An Industrial Multi-Robot Navigation System.

Clemens Mühlbacher, Gerald Steinbauer, Michael Reip, Stephan Gspandl

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2018

An Autonomous Vehicle for Parcel Delivery in Urban Areas.

Alexander Buchegger, Konstantin Lassnig, Stefan Loigge, Clemens Mühlbacher, Gerald Steinbauer

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

2017

Adapting Edge Weights for Optimal Paths in a Navigation Graph.

Clemens Mühlbacher, Stefan Gspandl, Michael Reip, Gerald Steinbauer

Proceedings of the Advances in Service and Industrial Robotics, 2017

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

Clemens Mühlbacher, Stefan Gspandl, Michael Reip, Gerald Steinbauer

Proceedings of the Advances in Service and Industrial Robotics, 2017

Diagnosing Discrete Event Systems Using Nominal Models Only.

Yannick Pencolé, Gerald Steinbauer, Clemens Mühlbacher, Louise Travé-Massuyès

Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

Model-Based Testing of an Industrial Multi-Robot Navigation System.

Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl, Michael Reip

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

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

Gerald Steinbauer, Stefan Loigge, Clemens Mühlbacher

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Improving dependability of industrial transport robots using model-based techniques.

Clemens Mühlbacher, Stephan Gspandl, Michael Reip, Gerald Steinbauer

Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

Controlling Logistics Robots with the Action-Based Language YAGI.

Alexander Ferrein, Christopher Maier, Clemens Mühlbacher, Tim Niemueller, Gerald Steinbauer, Stavros Vassos

Proceedings of the Intelligent Robotics and Applications - 9th International Conference, 2016

2015

Automatic Model Generation to Diagnose Autonomous Systems.

Jorge Santos Simón, Clemens Mühlbacher, Gerald Steinbauer

Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31, 2015

2014

Diagnosis Makes the Difference for a Successful Execution of High-Level Robot Control Programs.

Clemens Mühlbacher, Gerald Steinbauer

Proceedings of the Intelligent Autonomous Systems 13, 2014

Using Common Sense Invariants in Belief Management for Autonomous Agents.

Gerald Steinbauer, Clemens Mühlbacher

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets.

Simon Ausserlechner, Sandra Fruhmann, Wolfgang Wieser, Birgit Hofer, Raphael Spork, Clemens Mühlbacher, Franz Wotawa

Proceedings of the 2013 13th International Conference on Quality Software, 2013