280 citations · 388 across the 15 of their papers we have counts for
3 papers · 1 filter
Advising Autonomous Cars about the Rules of the Road
Joe Collenette, Louise A. Dennis, Michael Fisher
This paper describes (R)ules (o)f (T)he (R)oad (A)dvisor, an agent that provides recommended and possible actions to be generated from a set of human-level rules. We describe the a…
A Compositional Approach to Verifying Modular Robotic Systems
Matt Luckcuck, Marie Farrell, Angelo Ferrando +3
Robotic systems used in safety-critical scenarios often rely on modular software architectures, and increasingly include autonomous components. Verifying that these modular robotic…
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini +2
This volume contains the proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2022), co-located with the 31st International Joint Conferen…