Search Results for author: Stefan Schupp

Found 3 papers, 0 papers with code

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories

no code implementations5 Feb 2024 Till Hofmann, Stefan Schupp, Gerhard Lakemeyer

The most commonly used approach represents time by adding a real-valued fluent $\mathit{time}(a)$ that attaches a time point to each action and consequently to each situation.

Robot Swarms as Hybrid Systems: Modelling and Verification

no code implementations14 Jul 2022 Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Taccella

A swarm robotic system consists of a team of robots performing cooperative tasks without any centralized coordination.

Controlling Golog Programs against MTL Constraints

no code implementations7 Apr 2022 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.