关注
Clemens Mühlbacher
Clemens Mühlbacher
ARTI
在 arti-robots.com 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
372018
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
302013
Controlling logistics robots with the action-based language YAGI
A Ferrein, C Maier, C Mühlbacher, T Niemueller, G Steinbauer, S Vassos
Intelligent Robotics and Applications: 9th International Conference, ICIRA …, 2016
242016
Diagnosing Discrete Event Systems Using Nominal Models Only.
Y Pencolé, G Steinbauer, C Mühlbacher, L Travé-Massuyès
DX, 169-183, 2017
212017
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
122016
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
52016
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
52016
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
42019
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
4*2016
Automatic Model Generation to Diagnose Autonomous Systems
JS Simón, C Mühlbacher, G Steinbauer
42015
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
Knowledge-Aware Execution of Programs in IndiGolog
C Mühlbacher, G Steinbauer
http://www.ida.liu.se/conferences/cogrob2014/, 2014
32014
An event-based approach to autonomous navigation
R Hoheneder, A Buchegger, H Didari, M Eder, K Mautner-Lassnig, ...
Proceedings of the Austrian Robotics Workshop 2023, 2023
22023
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/AAPR ARW 2017: Joint Workshop on “Vision, Automation & Robotics”, 2017
22017
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
Advances in Service and Industrial Robotics: Proceedings of the 26th …, 2018
12018
Adapting edge weights for optimal paths in a navigation graph
C Mühlbacher, S Gspandl, M Reip, G Steinbauer
Advances in Service and Industrial Robotics: Proceedings of the 26th …, 2018
12018
A Model-Based Fault Detection, Diagnosis and Repair for Autonomous Robotics systems
S Loigge, C Mühlbacher, G Steinbauer, S Gspandl, M Reip
OAGM/AAPR ARW 2017: Joint Workshop on “Vision, Automation & Robotics”, 2017
12017
Belief Management using the Action History and Consistency-Based-Diagnosis
C Mühlbacher, G Steinbauer
12016
Diagnosis makes the difference for a successful execution of high-level robot control programs
C Mühlbacher, G Steinbauer
Intelligent Autonomous Systems 13: Proceedings of the 13th International …, 2016
12016
系统目前无法执行此操作,请稍后再试。
文章 1–20