2 citations · 2 across the 4 of their papers we have counts for
7 papers
From Production Logistics to Smart Manufacturing: The Vision for a New RoboCup Industrial League
Supun Dissanayaka, Alexander Ferrein, Till Hofmann +8
The RoboCup Logistics League is a RoboCup competition in a smart factory scenario that has focused on task planning, job scheduling, and multi-agent coordination. The focus on prod…
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
Till Hofmann, Stefan Schupp, Gerhard Lakemeyer
Representing time is crucial for cyber-physical systems and has been studied extensively in the situation calculus. The most commonly used approach represents time by adding a real…
Using Abstraction for Interpretable Robot Programs in Stochastic Domains
Till Hofmann, Vaishak Belle
A robot's actions are inherently stochastic, as its sensors are noisy and its actions do not always have the intended effects. For this reason, the agent language Golog has been ex…
Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning
Daniel Swoboda, Till Hofmann, Tarik Viehmann +1
Reasoning and planning for mobile robots is a challenging problem, as the world evolves over time and thus the robot's goals may change. One technique to tackle this problem is goa…
Controlling Golog Programs against MTL Constraints
Till Hofmann, Stefan Schupp
While Golog is an expressive programming language to control the high-level behavior of a robot, it is often tedious to use on a real robotic system. On an actual robot, the user n…
Abstracting Noisy Robot Programs
Till Hofmann, Vaishak Belle
Abstraction is a commonly used process to represent some low-level system by a more coarse specification with the goal to omit unnecessary details while preserving important aspect…
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints
Till Hofmann, Gerhard Lakemeyer
Executing a Golog program on an actual robot typically requires additional steps to account for hardware or software details of the robot platform, which can be formulated as const…