Tarik Viehmann

12 papers A* 1C 3Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2026 — conf
Making Robots Play by the Rules: The ROS 2 CLIPS-Executive.
ICAART (2)
Tarik Viehmann, Daniel Swoboda, Samridhi Kalra, Himanshu Grover, Gerhard Lakemeyer
2025 J jnl
From Production Logistics to Smart Manufacturing: The Vision for a New RoboCup Industrial League.
CoRR
Supun Dissanayaka, Alexander Ferrein, Till Hofmann, Kosuke Nakajima, Mario Sanz-Lopez, Jesus Savage, Daniel Swoboda, Matteo Tschesche, Wataru Uemura, Tarik Viehmann, Shohei Yasuda
2025 J jnl
Making Robots Play by the Rules: The ROS 2 CLIPS-Executive.
CoRR
Tarik Viehmann, Daniel Swoboda, Samridhi Kalra, Himanshu Grover, Gerhard Lakemeyer
2024 C conf
A Light-Weighted Event-Based Simulation for the RoboCup Logistics League.
RoboCup
Dominik Lampel, Marco De Bortoli, Tarik Viehmann, Alain Rohr, Gerald Steinbauer-Wagner
2024 C conf
A ROS 2-Based Navigation and Simulation Stack for the Robotino.
RoboCup
Saurabh Borse, Tarik Viehmann, Alexander Ferrein, Gerhard Lakemeyer
2024 J jnl
A ROS~2-based Navigation and Simulation Stack for the Robotino.
CoRR
Saurabh Borse, Tarik Viehmann, Alexander Ferrein, Gerhard Lakemeyer
2022 J jnl
Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning.
CoRR
Daniel Swoboda, Till Hofmann, Tarik Viehmann, Gerhard Lakemeyer
2022 C conf
Winning the RoboCup Logistics League with Visual Servoing and Centralized Goal Reasoning.
RoboCup
Tarik Viehmann, Nicolas Limpert, Till Hofmann, Mike Henning, Alexander Ferrein, Gerhard Lakemeyer
2021 — conf
Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League.
ICAART (1)
Till Hofmann, Tarik Viehmann, Mostafa Gomaa, Daniel Habering, Tim Niemueller, Gerhard Lakemeyer
2021 — conf
Portable High-level Agent Programming with golog++.
ICAART (2)
Victor Mataré, Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer, Alexander Ferrein, Stefan Schiffer
2021 A* conf
Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints.
IJCAI
Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer
2017 — conf
Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving.
SC²@ISSAC
Tarik Viehmann, Gereon Kremer, Erika Ábrahám