Person

Till Hofmann

M. Sc. RWTH

Associate doctoral researcher

Till Hofmann
Computer Science Departement, RTG UnRAVeL

Address

Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
 

Contact

WorkPhone
Phone: +49 241 80 21533

Office Hours

keine
 
Dissertation Project

Robust Execution of Abstract Task Plans on Mobile Robots

Collaborations

Stefan Schupp: State Set Representations for Hybrid Systems Reachability Analysis

Prizes and awards
World title in the Robocup Logistics League in Sydney 2019

RoboCup Logistics League 3rd Place 2018

2018/2019: Chair of the Technical Committee, RoboCup Logistics League

RoboCup Logistics League World Champion 2017

Since 2017: Member of the Technical Committee, RoboCup Logistics League

Engagement
Co-Host of: PromotionsCafé: Going Abroad - Challenges and Experiences
Talks
Bi-Weekly Talk: Till Hoffmann

Vortrag: Challenges in the RoboCup Logisitics League (RCLL)

 

Publications related to UnRAVeL

Source Author(s)
[Contribution to a book, Contribution to a conference proceedings]
Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots
In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence Montreal, 19-27 August 2021 / Edited by Prof. Zhi-Hua Zhou. - International Joint Conferences on Artificial Intelligence Organization California, 2021, 1908-1914, 2021
[DOI: 10.24963/ijcai.2021/263]
Habering, Daniel (Corresponding author)
Hofmann, Till (Corresponding author)
Lakemeyer, Gerhard (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints
In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence Montreal, 19-27 August 2021 / Edited by Prof. Zhi-Hua Zhou. - International Joint Conferences on Artificial Intelligence Organization California, 2021, 2083-2089, 2021
[DOI: 10.24963/ijcai.2021/287]
Viehmann, Tarik (Corresponding author)
Hofmann, Till (Corresponding author)
Lakemeyer, Gerhard (Corresponding author)
[Preprint]
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints, 2021
[DOI: 10.18154/RWTH-2021-02072]
Hofmann, Till (Corresponding author)
Lakemeyer, Gerhard (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
Portable High-level Agent Programming with golog++
In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence. / Ana Paula Rocha, Luc Steels, Jaap van den Herik (Eds.). - Volume 2, 218-227, 2021
[DOI: 10.5220/0010253902180227]
Mataré, Victor
Viehmann, Tarik
Hofmann, Till
Lakemeyer, Gerhard
Ferrein, Alexander
et al.
[Contribution to a book, Contribution to a conference proceedings]
Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League
In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence. / Ana Paula Rocha, Luc Steels, Jaap van den Herik (Eds.). - Volume 1, 80-91, 2021
[DOI: 10.5220/0010252600800091]
Hofmann, Till (Corresponding author)
Viehmann, Tarik
Gomaa, Mostafa
Habering, Daniel
Niemüller, Tim Dieter
et al.
[Contribution to a book, Contribution to a conference proceedings]
Macro Operator Synthesis for ADL Domains
In: ECAI 2020 : 24th European Conference on Artificial Intelligence : 29 August-8 September 2020, Santiago De Compostela, Spain, including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) : proceedings / edited by Giuseppe De Giacomo [and six others], 761-768, 2020
[DOI: 10.3233/FAIA200164]
Hofmann, Till (Corresponding author)
Niemüller, Tim Dieter
Lakemeyer, Gerhard
[Report]
The Carologistics RoboCup Logistics Team 2020, 2020
Hofmann, Till
Eltester, Sebastian
Viehmann, Tarik
Limpert, Nicolas
Mataré, Victor
et al.
[Contribution to a conference proceedings]
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
[Report]
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020
Katoen, Joost-Pieter
Ritzert, Martin
Wilke, Richard
Dannert, Katrin M.
Lindner, Peter
et al.
[Report]
The Carologistics RoboCup Logistics Team 2019, 2019
Hofmann, Till
Limpert, Nicolas
Mataré, Victor
Ferrein, Alexander
Lakemeyer, Gerhard
[Contribution to a book, Contribution to a conference proceedings]
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 (Corresponding author)
Hofmann, Till (Corresponding author)
Lakemeyer, Gerhard
[Contribution to a book, Contribution to a conference proceedings]
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 (Corresponding author)
Limpert, Nicolas
Mataré, Victor
Ferrein, Alexander
Lakemeyer, Gerhard
[Contribution to a conference proceedings]
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
[Report]
The Carologistics RoboCup Logistics Team 2018, 2018
Hofmann, Till
Limpert, Nicolas
Mataré, Victor
Schönitz, Sebastian
Niemüller, Tim Dieter
et al.
[Contribution to a book, Contribution to a conference proceedings]
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
[Contribution to a conference proceedings]
A Logic for Specifying Metric Temporal Constraints for Golog Programs
In: CogRob 2018, 11th Cognitive Robotics Workshop : proceedings of the 11th Cognitive Robotics Workshop (CogRob-18), held in conjunction with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR-2018) : Tempe, Arizona, USA, October 27, 2018, 36-46, 2018
Hofmann, Till
Lakemeyer, Gerhard