Tarik Viehmann
Tarik Viehmann
PhD student at RWTH Aachen University
rwth-aachen.de의 이메일 확인됨
제목
인용
인용
연도
Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving.
T Viehmann, G Kremer, E Ábrahám
SC²@ ISSAC, 2017
82017
Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League.
T Hofmann, T Viehmann, M Gomaa, D Habering, T Niemueller, ...
ICAART (1), 80-91, 2021
22021
Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints
T Viehmann, T Hofmann, G Lakemeyer
Master’s Thesis, RWTH Aachen University. https://kbsg. rwth-aachen. de …, 2019
22019
Portable High-level Agent Programming with golog++.
V Mataré, T Viehmann, T Hofmann, G Lakemeyer, A Ferrein, S Schiffer
ICAART (2), 218-227, 2021
2021
IN THE CYLINDIRCAL ALGEBRAIC DECOMPOSITION
T Viehmann
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–5