Till Hofmann - RankMe

32 papers A* 8A 2B 1C 4Journal 12Unranked 4

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Satisficing and Optimal Generalised Planning via Goal Regression. AAAI Dillon Z. Chen, Till Hofmann, Toryn Q. Klassen, Sheila A. McIlraith
2025	J	`jnl`	From Production Logistics to Smart Manufacturing: The Vision for a New RoboCup Industrial League. CoRR Supun Dissanayaka, Alexander Ferrein, Till Hofmann, Kosuke Nakajima, Mario Sanz-Lopez, Jesus Savage, Daniel Swoboda, Matteo Tschesche, Wataru Uemura, Tarik Viehmann, Shohei Yasuda
2025	A*	`conf`	LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments. AAAI Till Hofmann, Jens Claßen
2025	J	`jnl`	Satisficing and Optimal Generalised Planning via Goal Regression (Extended Version). CoRR Dillon Z. Chen, Till Hofmann, Toryn Q. Klassen, Sheila A. McIlraith
2024	J	`jnl`	Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories. CoRR Till Hofmann, Stefan Schupp, Gerhard Lakemeyer
2024	J	`jnl`	LTLf Synthesis on First-Order Action Theories. CoRR Till Hofmann, Jens Claßen
2024	A*	`conf`	Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains. IJCAI Till Hofmann, Hector Geffner
2024	J	`jnl`	Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains. CoRR Till Hofmann, Hector Geffner
2024	J	`jnl`	Towards Bridging the Gap between High-Level Reasoning and Execution on Robots. CoRR Till Hofmann
2024	C	`conf`	Using Off-the-Shelf Deep Neural Networks for Position-Based Visual Servoing. RoboCup Matteo Tschesche, Till Hofmann, Alexander Ferrein, Gerhard Lakemeyer
2023	A	`conf`	Abstracting Noisy Robot Programs. AAMAS Till Hofmann, Vaishak Belle
2023	J	`jnl`	Controlling timed automata against MTL specifications with TACoS. Sci. Comput. Program. Till Hofmann, Stefan Schupp
2023	—	`—`	Towards bridging the gap between high-level reasoning and execution on robots. Till Hofmann
2022	J	`jnl`	Abstracting Noisy Robot Programs. CoRR Till Hofmann, Vaishak Belle
2022	J	`jnl`	Controlling Golog Programs against MTL Constraints. CoRR Till Hofmann, Stefan Schupp
2022	J	`jnl`	Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning. CoRR Daniel Swoboda, Till Hofmann, Tarik Viehmann, Gerhard Lakemeyer
2022	J	`jnl`	Using Abstraction for Interpretable Robot Programs in Stochastic Domains. CoRR Till Hofmann, Vaishak Belle
2022	C	`conf`	Winning the RoboCup Logistics League with Visual Servoing and Centralized Goal Reasoning. RoboCup Tarik Viehmann, Nicolas Limpert, Till Hofmann, Mike Henning, Alexander Ferrein, Gerhard Lakemeyer
2021	J	`jnl`	Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints. CoRR Till Hofmann, Gerhard Lakemeyer
2021	—	`conf`	Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League. ICAART (1) Till Hofmann, Tarik Viehmann, Mostafa Gomaa, Daniel Habering, Tim Niemueller, Gerhard Lakemeyer
2021	—	`conf`	Portable High-level Agent Programming with golog++. ICAART (2) Victor Mataré, Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer, Alexander Ferrein, Stefan Schiffer
2021	B	`conf`	TACoS: A Tool for MTL Controller Synthesis. SEFM Till Hofmann, Stefan Schupp
2021	A*	`conf`	Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints. IJCAI Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer
2021	A*	`conf`	Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots. IJCAI Daniel Habering, Till Hofmann, Gerhard Lakemeyer
2020	A	`conf`	Macro Operator Synthesis for ADL Domains. ECAI Till Hofmann, Tim Niemueller, Gerhard Lakemeyer
2019	A*	`conf`	Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution. ICAPS Tim Niemueller, Till Hofmann, Gerhard Lakemeyer
2019	C	`conf`	Winning the RoboCup Logistics League with Fast Navigation, Precise Manipulation, and Robust Goal Reasoning. RoboCup Till Hofmann, Nicolas Limpert, Victor Mataré, Alexander Ferrein, Gerhard Lakemeyer
2018	—	`conf`	A Logic for Specifying Metric Temporal Constraints for Golog Programs. CogRob@KR Till Hofmann, Gerhard Lakemeyer
2018	—	`conf`	Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions. AAAI Spring Symposia Till Hofmann, Victor Mataré, Stefan Schiffer, Alexander Ferrein, Gerhard Lakemeyer
2017	C	`conf`	Enhancing Software and Hardware Reliability for a Successful Participation in the RoboCup Logistics League 2017. RoboCup Till Hofmann, Victor Mataré, Tobias Neumann, Sebastian Schönitz, Christoph Henke, Nicolas Limpert, Tim Niemueller, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer
2017	A*	`conf`	Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots. ICAPS Till Hofmann, Tim Niemueller, Gerhard Lakemeyer
2016	A*	`conf`	Continual Planning in Golog. AAAI Till Hofmann, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer