Person
Dr.Till Hofmann
M.Sc.Computer Science Departement, RTG UnRAVeL
Former associate doctoral researcher
Address
Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
| Dissertation Project |
|---|
|
Towards Bridging the Gap between High-Level Reasoning and Execution on Robots |
| Collaborations |
|
Stefan Schupp: State Set Representations for Hybrid Systems Reachability Analysis |
| Prizes and awards |
| Best Tool Paper Award at 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 |
Publications related to UnRAVeL
| Source | Author(s) |
|---|---|
| [Contribution to a conference proceedings] Abstracting Noisy Robot Programs In: [2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS'23, London, UK], 2023 | Hofmann, Till Belle, Vaishak |
| [Contribution to a book, Contribution to a conference proceedings] 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. |
| [Contribution to a book, Journal Article] 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 |
| [Conference Presentation] 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) |
| [Contribution to a conference proceedings] 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 |
| [Contribution to a book, Contribution to a conference proceedings] 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 |
| [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 (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) |
| [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 (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) |
| [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 / 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. |
| [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: 17. 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 Marlon 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 : 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 |
| [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 |