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 (QSIC, 2013)

Using Common Sense Invariants in Belief Management for Autonomous Agents. - Gerald Steinbauer; Clemens Mühlbacher (AAAI Spring Symposia, 2014)

Diagnosis Makes the Difference for a Successful Execution of High-Level Robot Control Programs. - Clemens Mühlbacher; Gerald Steinbauer (IAS, 2014)

Automatic Model Generation to Diagnose Autonomous Systems. - Jorge Santos Simón; Clemens Mühlbacher; Gerald Steinbauer (DX, 2015)

Controlling Logistics Robots with the Action-Based Language YAGI. - Alexander Ferrein; Christopher Maier; Clemens Mühlbacher; Tim Niemueller; Gerald Steinbauer; Stavros Vassos (ICIRA (1), 2016)

Improving dependability of industrial transport robots using model-based techniques. - Clemens Mühlbacher; Stephan Gspandl; Michael Reip; Gerald Steinbauer (ICRA, 2016)

Supervision of Hardware, Software and Behavior of Autonomous Industrial Transport Robots. - Gerald Steinbauer; Stefan Loigge; Clemens Mühlbacher (QRS Companion, 2016)

Model-Based Testing of an Industrial Multi-Robot Navigation System. - Clemens Mühlbacher; Gerald Steinbauer; Stephan Gspandl; Michael Reip (AAMAS, 2017)

Diagnosing Discrete Event Systems Using Nominal Models Only. - Yannick Pencolé; Gerald Steinbauer; Clemens Mühlbacher; Louise Travé-Massuyès (DX, 2017)

Estimation of the Traversal Time for a Fleet of Industrial Transport Robots. - Clemens Mühlbacher; Stefan Gspandl; Michael Reip; Gerald Steinbauer (RAAD, 2017)

Adapting Edge Weights for Optimal Paths in a Navigation Graph. - Clemens Mühlbacher; Stefan Gspandl; Michael Reip; Gerald Steinbauer (RAAD, 2017)

An Autonomous Vehicle for Parcel Delivery in Urban Areas. - Alexander Buchegger; Konstantin Lassnig; Stefan Loigge; Clemens Mühlbacher; Gerald Steinbauer (ITSC, 2018)

Constraint-Based Testing of An Industrial Multi-Robot Navigation System. - Clemens Mühlbacher; Gerald Steinbauer; Michael Reip; Stephan Gspandl (AITest, 2019)