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 | 41 | 2018 |
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 | 30 | 2013 |
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 | 24 | 2016 |
Diagnosing Discrete Event Systems Using Nominal Models Only. Y Pencolé, G Steinbauer, C Mühlbacher, L Travé-Massuyès DX, 169-183, 2017 | 22 | 2017 |
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 | 12 | 2016 |
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 | 5 | 2016 |
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 | 5 | 2016 |
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 | 4 | 2019 |
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 | 4 | 2015 |
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 | 3 | 2023 |
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 | 3 | 2017 |
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 | 3 | 2017 |
Knowledge-Aware Execution of Programs in IndiGolog C Mühlbacher, G Steinbauer http://www.ida.liu.se/conferences/cogrob2014/, 2014 | 3 | 2014 |
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 | 2 | 2017 |
Using common sense invariants in belief management for autonomous agents G Steinbauer, C Mühlbacher 2014 AAAI Spring Symposium Series, 2014 | 2 | 2014 |
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 | 1 | 2018 |
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 | 1 | 2018 |
Belief Management using the Action History and Consistency-Based-Diagnosis C Mühlbacher, G Steinbauer | 1 | 2016 |
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 | 1 | 2016 |