Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving. - Tarik Viehmann; Gereon Kremer; Erika Ábrahám (SC²@ISSAC, 2017)

Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League. - Till Hofmann; Tarik Viehmann; Mostafa Gomaa; Daniel Habering; Tim Niemueller; Gerhard Lakemeyer (ICAART (1), 2021)

Portable High-level Agent Programming with golog++. - Victor Mataré; Tarik Viehmann; Till Hofmann; Gerhard Lakemeyer; Alexander Ferrein; Stefan Schiffer 002 (ICAART (2), 2021)

Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints. - Tarik Viehmann; Till Hofmann; Gerhard Lakemeyer (IJCAI, 2021)

Winning the RoboCup Logistics League with Visual Servoing and Centralized Goal Reasoning. - Tarik Viehmann; Nicolas Limpert; Till Hofmann; Mike Henning; Alexander Ferrein; Gerhard Lakemeyer (RoboCup, 2022)

Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning. - Daniel Swoboda; Till Hofmann; Tarik Viehmann; Gerhard Lakemeyer (CoRR, 2022)

A ROS 2-Based Navigation and Simulation Stack for the Robotino. - Saurabh Borse; Tarik Viehmann; Alexander Ferrein; Gerhard Lakemeyer (RoboCup, 2024)

A Light-Weighted Event-Based Simulation for the RoboCup Logistics League. - Dominik Lampel; Marco De Bortoli; Tarik Viehmann; Alain Rohr; Gerald Steinbauer-Wagner (RoboCup, 2024)

From Production Logistics to Smart Manufacturing: The Vision for a New RoboCup Industrial League. - Supun Dissanayaka; Alexander Ferrein; Till Hofmann; Kosuke Nakajima; Mario Sanz-Lopez; Jesus Savage; Daniel Swoboda; Matteo Tschesche; Wataru Uemura; Tarik Viehmann; Shohei Yasuda (CoRR, 2025)