Person

Till Hofmann

M. Sc. RWTH

Assoziierter Promotionsstudent

Till Hofmann
Lehr- und Forschungsgebiet Informatik 5 (Wissensbasierte Systeme)

Adresse

Gebäude: E2

Raum: 6214

Ahornstr. 55

52056 Aachen

Kontakt

WorkPhone
Telefon: +49 241 80 21533

Sprechstunde

keine
 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Bericht]
The Carologistics RoboCup Logistics Team 2020, 10 Seiten, 2020
Hofmann, Till
Eltester, Sebastian
Viehmann, Tarik
Limpert, Nicolas
Mataré, Victor
et al.
[Beitrag zu einem Tagungsband]
Constraint-based Plan Transformation in a Safe and Usable GOLOG Language
In: Proceedings of the Workshop on Bringing Constraint-based Robot Programming to Real-World Applications (IROS CobaRoP), 2 Seiten, 2020
Mataré, Victor
Schiffer, Stefan
Ferrein, Alexander Antoine
Viehmann, Tarik
Hofmann, Till
et al.
[Poster]
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints
In: 17th International Conference on Principles of Knowledge Representation and Reasoning online 2020-09-12 - 2020-09-18, 2020
Hofmann, Till
Lakemeyer, Gerhard
[Bericht]
UnRAVeL - Research Training Group, 2020
Katoen, Joost-Pieter
Ritzert, Martin Alexander Felix
Wilke, Richard
Dannert, Katrin
Lindner, Peter
et al.
[Beitrag zu einem Tagungsband]
Macro Operator Synthesis for ADL Domains
In: Proceedings of the 24th European Conference on Artificial Intelligence (ECAI), 2020
[DOI: 10.3233/FAIA200164]
Hofmann, Till
Niemueller, Tim
Lakemeyer, Gerhard
[Bericht]
The Carologistics RoboCup Logistics Team 2019, 8 Seiten, 2019
Hofmann, Till
Limpert, Nicolas
Mataré, Victor
Ferrein, Alexander
Lakemeyer, Gerhard
[Buchbeitrag, Beitrag zu einem Tagungsband]
Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution
In: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling / edited by J. Benton, Nir Lipovetzky, Eva Onaindia, David E. Smith, and Siddharth Srivastava, 754-763, 2019
Niemüller, Tim Dieter
Hofmann, Till
Lakemeyer, Gerhard
[Buchbeitrag, Beitrag zu einem Tagungsband]
Winning the RoboCup Logistics League with Fast Navigation, Precise Manipulation, and Robust Goal Reasoning
In: RoboCup 2019 : Robot World Cup XXIII / Stephan Chalup, Tim Niemueller, Jackrit Suthakorn, Mary-Ann Williams (eds.), 504-516, 2019
[DOI: 10.1007/978-3-030-35699-6_41]
Hofmann, Till
Limpert, Nicolas
Mataré, Victor
Ferrein, Alexander
Lakemeyer, Gerhard
[Beitrag zu einem Tagungsband]
CLIPS-based Execution for PDDL Planners
In: Proceedings of the 2nd Workshop on Integrated Planning, Acting, and Execution (ICAPS IntEx), 9 Seiten, 2018
Niemüller, Tim Dieter
Hofmann, Till
Lakemeyer, Gerhard
[Bericht]
The Carologistics RoboCup Logistics Team 2018, 13 Seiten, 2018
Hofmann, Till
Limpert, Nicolas
Mataré, Victor
Schönitz, Sebastian
Niemüller, Tim Dieter
et al.
[Buchbeitrag, Beitrag zu einem Tagungsband]
Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions
In: The 2018 AAAI Spring Symposium Series technical report : papers presented at the 2018 AAAI Spring Symposium, 549-553, 2018
Hofmann, Till
Mataré, Victor
Schiffer, Stefan
Alexander, Ferrein
Lakemeyer, Gerhard
[Beitrag zu einem Tagungsband]
A Logic for Specifying Metric Temporal Constraints for Golog Programs
In: Proceedings of the 11th Cognitive Robotics Workshop 2018 (CogRob), 2018
Hofmann, Till
Lakemeyer, Gerhard
[Buchbeitrag, Beitrag zu einem Tagungsband]
Enhancing Software and Hardware Reliability for a Successful Participation in the RoboCup Logistics League 2017
In: RoboCup 2017: Robot World Cup XXI / edited by Hidehisa Akiyama, Oliver Obst, Claude Sammut, Flavio Tonidandel, 486-497, 2018
[DOI: 10.1007/978-3-030-00308-1_40]
Hofmann, Till
Mataré, Victor
Neumann, Tobias
Schönitz, Sebastian
Henke, Christoph
et al.
[Bericht]
The Carologistics RoboCup Logistics Team 2017, 12 Seiten, 2017
Neumann, Tobias
Hofmann, Till
Mataré, Victor
Henke, Christoph
Schönitz, Sebastian
et al.