Tarik Viehmann

According to our database, Tarik Viehmann authored at least 6 papers between 2017 and 2022.

Collaborative distances:

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

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