Belief Management for High-Level Robot Programs. - Stephan Gspandl; Ingo Pill; Michael Reip; Gerald Steinbauer; Alexander Ferrein (IJCAI, 2011)

The Ontology Lifecycle in RoboCup: Population from Text and Execution. - Stephan Gspandl; Andreas Hechenblaickner; Michael Reip; Gerald Steinbauer; Mate Wolfram; Christoph Zehentner (RoboCup, 2011)

A dependable perception-decision-execution cycle for autonomous robots. - Stephan Gspandl; Siegfried Podesser; Michael Reip; Gerald Steinbauer; Mate Wolfram (ICRA, 2012)

Maintaining consistency in a robot's knowledge-base via diagnostic reasoning. - Stephan Gspandl; Ingo Pill; Michael Reip; Gerald Steinbauer (AI Commun., 2013)

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

Model-Based Testing of an Industrial Multi-Robot Navigation System. - Clemens Mühlbacher; Gerald Steinbauer; Stephan Gspandl; Michael Reip (AAMAS, 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)

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