@article{engineeringreliableautonomoussystemschal,
  title = {Engineering Reliable Autonomous Systems: Challenges and Solutions},
  author = {Marie Farrell and Matt Luckcuck and Angelo Ferrando and Rafael C. Cardoso and Natasha Alechina and Marco Autili and Diana Benjumea Hernandez and Luciana Brasil Rebelo dos Santos and Daniela Briola and Ana Cavalcanti and Christian Colombo and Louise A. Dennis and Clare Dixon and Michael Fisher and Mario Gleirscher and Taylor Johnson and Charles Lesire and Livia Lestingi and Sven Linker and Brian Logan and Colin Paterson and Fabio Papacchini and Patrizio Pelliccione and Pedro Ribeiro and Maike Schwammberger and Silvia Lizeth Tapia Tarifa and Hazel Taylor and Jim Woodcock and Mengwei Xu and Yi Yang and Huan Zhang},
  year = {2026},
  eprint = {2606.23760},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2606.23760},
}