Showing cs.ROShow all
2 papers · 1 filter
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.RO2024
Grand Challenges in the Verification of Autonomous Systems
Kevin Leahy, Hamid Asgari, Louise A. Dennis +6
Autonomous systems use independent decision-making with only limited human intervention to accomplish goals in complex and unpredictable environments. As the autonomy technologies…