Tarik Viehmann

According to our database, Tarik Viehmann authored at least 9 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

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, July, 2025

2024

A Light-Weighted Event-Based Simulation for the RoboCup Logistics League.

Dominik Lampel, Marco De Bortoli, Tarik Viehmann, Alain Rohr, Gerald Steinbauer-Wagner

Proceedings of the RoboCup 2024: Robot World Cup XXVII, 2024

A ROS 2-Based Navigation and Simulation Stack for the Robotino.

Saurabh Borse, Tarik Viehmann, Alexander Ferrein, Gerhard Lakemeyer

Proceedings of the RoboCup 2024: Robot World Cup XXVII, 2024

2022

Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning.

Daniel Swoboda, Till Hofmann, Tarik Viehmann, Gerhard Lakemeyer

CoRR, 2022

Winning the RoboCup Logistics League with Visual Servoing and Centralized Goal Reasoning.

Tarik Viehmann, Nicolas Limpert, Till Hofmann, Mike Henning, Alexander Ferrein, Gerhard Lakemeyer

Proceedings of the RoboCup 2022:, 2022

2021

Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints.

Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Portable High-level Agent Programming with golog++.

Victor Mataré, Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer, Alexander Ferrein, Stefan Schiffer

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

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

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

2017

Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving.

Tarik Viehmann, Gereon Kremer, Erika Ábrahám

Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), 2017