TY  - RPRT
TI  - Engineering Reliable Autonomous Systems: Challenges and Solutions
AU  - Marie Farrell
AU  - Matt Luckcuck
AU  - Angelo Ferrando
AU  - Rafael C. Cardoso
AU  - Natasha Alechina
AU  - Marco Autili
AU  - Diana Benjumea Hernandez
AU  - Luciana Brasil Rebelo dos Santos
AU  - Daniela Briola
AU  - Ana Cavalcanti
AU  - Christian Colombo
AU  - Louise A. Dennis
AU  - Clare Dixon
AU  - Michael Fisher
AU  - Mario Gleirscher
AU  - Taylor Johnson
AU  - Charles Lesire
AU  - Livia Lestingi
AU  - Sven Linker
AU  - Brian Logan
AU  - Colin Paterson
AU  - Fabio Papacchini
AU  - Patrizio Pelliccione
AU  - Pedro Ribeiro
AU  - Maike Schwammberger
AU  - Silvia Lizeth Tapia Tarifa
AU  - Hazel Taylor
AU  - Jim Woodcock
AU  - Mengwei Xu
AU  - Yi Yang
AU  - Huan Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2606.23760
ID  - 2606.23760
ER  -