2 papers
cs.RO2026
Engineering Reliable Autonomous Systems: Challenges and Solutions
Marie Farrell, Matt Luckcuck, Angelo Ferrando +28
Engineering reliable autonomous systems is an important and growing topic in computer science. As autonomous systems become more prevalent, easy-to-use techniques for building them…
cs.MA2024
Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study
Till Schnittka, Mario Gleirscher
When designing correct-by-construction controllers for autonomous collectives, three key challenges are the task specification, the modelling, and its use at practical scale. In th…