3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.AI2024
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…
eess.SY2022★ 3 cited
Robot Swarms as Hybrid Systems: Modelling and Verification
Stefan Schupp, Francesco Leofante, Leander Behr +2
A swarm robotic system consists of a team of robots performing cooperative tasks without any centralized coordination. In principle, swarms enable flexible and scalable solutions;…