Till Hofmann
Digitale Visitenkarte herunterladen

Person

Dr.

Till Hofmann

M.Sc.

Lehrstuhl für Maschinelles Lernen und Inferenz (Informatik 6)

Ehem. assoziierter Promotionsstudent

Adresse

Gebäude: 6074

Raum: 205

Theaterstraße 35-39

52056 Aachen

 
Promotionsprojekt

Towards Bridging the Gap between High-Level Reasoning and Execution on Robots

Kollaborationen
Stefan Schupp: State Set Representations for Hybrid Systems Reachability Analysis
Preise und Auszeichnungen
Best Tool Paper Award bei der SEFM
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)
[Doktorarbeit]
Towards bridging the gap between high-level reasoning and execution on robots, 2023
[DOI: 10.18154/RWTH-2023-10508]
Hofmann, Till
[Beitrag zu einem Tagungsband]
Abstracting Noisy Robot Programs
In: [Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS], 534-542, 2023
Hofmann, Till
Belle, Vaishak
[Buchbeitrag, Beitrag zu einem Tagungsband]
Winning the RoboCup Logistics League with Visual Servoing and Centralized Goal Reasoning
In: RoboCup 2022 : Robot World Cup XXV / edited by Amy Eguchi, Nuno Lau, Maike Paetzel-Prüsmann, Thanapat Wanichanon, 300-312, 2023
[DOI: 10.1007/978-3-031-28469-4_25]
Viehmann, Tarik (Corresponding author)
Limpert, Nicolas
Hofmann, Till
Henning, Mike
Ferrein, Alexander
et al.
[Buchbeitrag, Fachzeitschriftenartikel]
Controlling timed automata against MTL specifications with TACoS
In: Science of computer programming, 225, 102898, 2022
[DOI: 10.1016/j.scico.2022.102898]
Hofmann, Till (Corresponding author)
Schupp, Stefan
[Konferenzbeitrag]
Using Abstraction for Interpretable Robot Programs in Stochastic Domains
In: 3. Workshop on Explainable Logic-Based Knowledge Representation Haifa 2022-07-31 - 2022-07-31, 2022
Hofmann, Till (Corresponding author)
Belle, Vaishak (Corresponding author)
[Preprint]
Using Abstraction for Interpretable Robot Programs in Stochastic Domains
In: 3. Workshop on Explainable Logic-Based Knowledge Representation Haifa 2022-07-31 - 2022-07-31, 2022
[DOI: 10.48550/arXiv.2207.12763]
Hofmann, Till (Corresponding author)
Belle, Vaishak (Corresponding author)
[Beitrag zu einem Tagungsband]
Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning
In: [ICAPS Workshop on Planning and Robotics, ICAPS PlanRob], 2022
Swoboda, Daniel
Hofmann, Till
Viehmann, Tarik
Lakemeyer, Gerhard
[Buchbeitrag, Beitrag zu einem Tagungsband]
TACoS : A Tool for MTL Controller Synthesis
In: Software Engineering and Formal Methods : 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings / edited by Radu Calinescu, Corina S. Păsăreanu, 372-379, 2021
[DOI: 10.1007/978-3-030-92124-8_21]
Hofmann, Till
Schupp, Stefan
[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 (IJCAI-21) / edited by Prof. Zhi-Hua Zhou ; sponsored by International Joint Conferences on Artifical Intelligence (IJCAI), 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 (IJCAI-21) / edited by Prof. Zhi-Hua Zhou ; sponsored by International Joint Conferences on Artifical Intelligence (IJCAI), 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 / editors: Ana Paula Rocha ; Luc Steels and Jaap van den Herik. - . Volume 1: Online, 04-06.02.2021, 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: 17. 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 Marlon
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 : 11-15 July 2019, Berkeley, California, USA / ICAPS 2019 ; edited by J. Benton, Nir Lipovetzky, Eva Onaindia, David. E. Smith, & 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