Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications
Sign Up to like & getrecommendations! Published in 2020 at "Autonomous Robots"
DOI: 10.1007/s10514-019-09861-4
Abstract: The majority of work in the field of swarm robotics focuses on the bottom-up design of local rules for individual robots that create emergent swarm behaviors. In this paper, we take a top-down approach and… read more here.
Keywords: controllers robot; synthesis decentralized; automated synthesis; decentralized controllers ... See more keywords