Clemens Mühlbacher

14 papers A* 1A 1C 3Unranked 9
YearRankTypeTitle / Venue / Authors
2019 — conf
Constraint-Based Testing of An Industrial Multi-Robot Navigation System.
AITest
Clemens Mühlbacher, Gerald Steinbauer, Michael Reip, Stephan Gspandl
2018 — conf
An Autonomous Vehicle for Parcel Delivery in Urban Areas.
ITSC
Alexander Buchegger, Konstantin Lassnig, Stefan Loigge, Clemens Mühlbacher, Gerald Steinbauer
2017 — conf
Adapting Edge Weights for Optimal Paths in a Navigation Graph.
RAAD
Clemens Mühlbacher, Stefan Gspandl, Michael Reip, Gerald Steinbauer
2017 C conf
Diagnosing Discrete Event Systems Using Nominal Models Only.
DX
Yannick Pencolé, Gerald Steinbauer, Clemens Mühlbacher, Louise Travé-Massuyès
2017 — conf
Estimation of the Traversal Time for a Fleet of Industrial Transport Robots.
RAAD
Clemens Mühlbacher, Stefan Gspandl, Michael Reip, Gerald Steinbauer
2017 A conf
Model-Based Testing of an Industrial Multi-Robot Navigation System.
AAMAS
Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl, Michael Reip
2016 — conf
Controlling Logistics Robots with the Action-Based Language YAGI.
ICIRA (1)
Alexander Ferrein, Christopher Maier, Clemens Mühlbacher, Tim Niemueller, Gerald Steinbauer, Stavros Vassos
2016 A* conf
Improving dependability of industrial transport robots using model-based techniques.
ICRA
Clemens Mühlbacher, Stephan Gspandl, Michael Reip, Gerald Steinbauer
2016 — conf
Supervision of Hardware, Software and Behavior of Autonomous Industrial Transport Robots.
QRS Companion
Gerald Steinbauer, Stefan Loigge, Clemens Mühlbacher
2015 C conf
Automatic Model Generation to Diagnose Autonomous Systems.
DX
Jorge Santos Simón, Clemens Mühlbacher, Gerald Steinbauer
2014 C conf
Diagnosis Makes the Difference for a Successful Execution of High-Level Robot Control Programs.
IAS
Clemens Mühlbacher, Gerald Steinbauer
2014 — conf
Using Common Sense Invariants in Belief Management for Autonomous Agents.
AAAI Spring Symposia
Gerald Steinbauer, Clemens Mühlbacher
2014 — conf
Using Common Sense Invariants in Belief Management for Autonomous Agents.
IEA/AIE (1)
Clemens Mühlbacher, Gerald Steinbauer
2013 — conf
The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets.
QSIC
Simon Ausserlechner, Sandra Fruhmann, Wolfgang Wieser, Birgit Hofer, Raphael Spork, Clemens Mühlbacher, Franz Wotawa