Login / Signup
Tarik Viehmann
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 6
Top Topics
Agent Programming
Visual Servoing
Timed Automata
Multi Agent Cooperation
Top Venues
ICAART (1)
CoRR
ICAART (2)
RoboCup
</>
Publications
</>
Daniel Swoboda
,
Till Hofmann
,
Tarik Viehmann
,
Gerhard Lakemeyer
Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning.
CoRR
(2022)
Tarik Viehmann
,
Nicolas Limpert
,
Till Hofmann
,
Mike Henning
,
Alexander Ferrein
,
Gerhard Lakemeyer
Winning the RoboCup Logistics League with Visual Servoing and Centralized Goal Reasoning.
RoboCup
(2022)
Victor Mataré
,
Tarik Viehmann
,
Till Hofmann
,
Gerhard Lakemeyer
,
Alexander Ferrein
,
Stefan Schiffer
Portable High-level Agent Programming with golog++.
ICAART (2)
(2021)
Till Hofmann
,
Tarik Viehmann
,
Mostafa Gomaa
,
Daniel Habering
,
Tim Niemueller
,
Gerhard Lakemeyer
Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League.
ICAART (1)
(2021)
Tarik Viehmann
,
Till Hofmann
,
Gerhard Lakemeyer
Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints.
IJCAI
(2021)
Tarik Viehmann
,
Gereon Kremer
,
Erika Ábrahám
Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving.
SC²@ISSAC
(2017)