11 citations · 14 across the 4 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
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;…
cs.AI2022
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…