Clemens Mühlbacher
Clemens Mühlbacher
Nieznane powiązanie
Zweryfikowany adres z ist.tugraz.at
Tytuł
Cytowane przez
Cytowane przez
Rok
The right choice matters! SMT solving substantially improves model-based debugging of spreadsheets
S Außerlechner, S Fruhmann, W Wieser, B Hofer, R Spörk, C Mühlbacher, ...
2013 13th International Conference on Quality Software, 139-148, 2013
242013
Controlling logistics robots with the action-based language YAGI
A Ferrein, C Maier, C Mühlbacher, T Niemueller, G Steinbauer, S Vassos
International Conference on Intelligent Robotics and Applications, 525-537, 2016
182016
Diagnosing Discrete Event Systems Using Nominal Models Only.
Y Pencolé, G Steinbauer, C Mühlbacher, L Travé-Massuyès
DX, 169-183, 2017
122017
An autonomous vehicle for parcel delivery in urban areas
A Buchegger, K Lassnig, S Loigge, C Mühlbacher, G Steinbauer
2018 21st international conference on Intelligent Transportation Systems …, 2018
102018
Improving dependability of industrial transport robots using model-based techniques
C Mühlbacher, S Gspandl, M Reip, G Steinbauer
2016 IEEE International Conference on Robotics and Automation (ICRA), 3133-3140, 2016
92016
Hierarchical Planning with Traffic Zones for a Team of Industrial Transport Robots
S Imlauer, C Mühlbacher, G Steinbauer, M Reip, S Gspandl
4th Workshop on Distributed and Multi-Agent Planning (DMAP), 2016
42016
Constraint-based testing of an industrial multi-robot navigation system
C Mühlbacher, G Steinbauer, M Reip, S Gspandl
2019 IEEE International Conference On Artificial Intelligence Testing …, 2019
32019
Model-based testing of an industrial multi-robot navigation system
C Mühlbacher, G Steinbauer, S Gspandl, M Reip
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017
32017
Hands Off - A Holistic Model-Based Approach for Long-Term Autonomy
G Steinbauer, C Mühlbacher
https://sites.google.com/site/icra2016ailta/accepted-papers, 2016
3*2016
Automatic Model Generation to Diagnose Autonomous Systems
JS Simón, C Mühlbacher, G Steinbauer
32015
Knowledge-Aware Execution of Programs in IndiGolog
C Mühlbacher, G Steinbauer
http://www.ida.liu.se/conferences/cogrob2014/, 2014
32014
Using common sense invariants in belief management for autonomous agents
G Steinbauer, C Mühlbacher
2014 AAAI Spring Symposium Series, 2014
22014
Estimation of the Traversal Time for a Fleet of Industrial Transport Robots
C Mühlbacher, S Gspandl, M Reip, G Steinbauer
International Conference on Robotics in Alpe-Adria Danube Region, 363-371, 2017
12017
Adapting Edge Weights for Optimal Paths in a Navigation Graph
C Mühlbacher, S Gspandl, M Reip, G Steinbauer
International Conference on Robotics in Alpe-Adria Danube Region, 372-380, 2017
12017
A robust and flexible software architecture for autonomous robots in the context of industrie 4.0
M Wallner, C Mühlbacher, G Steinbauer, S Haas, T Ulz, JC Ludwiger
OAGM & ARW Joint Workshop 2017 on “Vision, Automation & Robotics”, 2017
12017
A Model-Based Fault Detection, Diagnosis and Repair for Autonomous Robotics systems
S Loigge, C Mühlbacher, G Steinbauer, S Gspandl, M Reip
OAGM & ARW Joint Workshop 2017 on “Vision, Automation & Robotics”, 2017
12017
Supervision of Hardware, Software and Behavior of Autonomous Industrial Transport Robots
G Steinbauer, S Loigge, C Mühlbacher
2016 IEEE International Conference on Software Quality, Reliability and …, 2016
12016
Improving the ROS Arm Navigation Stack by Using Stochastic Inverse Kinematics
C Mühlbacher, G Steinbauer, M Reip, S Gspandl
Austrian Robotics Workshop, 2013
12013
Task-Dependent Configuration of Robotics Systems
A Pagonis, C Mühlbacher, G Steinbauer, S Gspandl, M Reip
OAGM & ARW Joint Workshop 2017 on “Vision, Automation & Robotics”, 2017
2017
An Autonomous Transportation Robot for Urban Environments
K Lassnig, C Mühlbacher, G Steinbauer, S Gspandl, M Reip
OAGM & ARW Joint Workshop 2017 on “Vision, Automation & Robotics”, 2017
2017
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20