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
 
Promotionsprojekt

Robust Execution of Abstract Task Plans on Mobile Robots

Kollaborationen
Stefan Schupp: State Set Representations for Hybrid Systems Reachability Analysis
Preise und Auszeichnungen
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)

 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Buchbeitrag, Beitrag zu einem Tagungsband]
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)
[Buchbeitrag, Beitrag zu einem Tagungsband]
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)
[Buchbeitrag, Beitrag zu einem Tagungsband]
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.
[Buchbeitrag, Beitrag zu einem Tagungsband]
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.
[Buchbeitrag, Beitrag zu einem Tagungsband]
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
[Bericht]
The Carologistics RoboCup Logistics Team 2020, 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 : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020
Katoen, Joost-Pieter
Ritzert, Martin
Wilke, Richard
Dannert, Katrin M.
Lindner, Peter
et al.
[Bericht]
The Carologistics RoboCup Logistics Team 2019, 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 (Corresponding author)
Hofmann, Till (Corresponding author)
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 (Corresponding author)
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, 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: 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