{"paper":{"title":"Engineering Reliable Autonomous Systems: Challenges and Solutions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.MA","cs.SE"],"primary_cat":"cs.RO","authors_text":"Ana Cavalcanti, Angelo Ferrando, Brian Logan, Charles Lesire, Christian Colombo, Clare Dixon, Colin Paterson, Daniela Briola, Diana Benjumea Hernandez, Fabio Papacchini, Hazel Taylor, Huan Zhang, Jim Woodcock, Livia Lestingi, Louise A. Dennis, Luciana Brasil Rebelo dos Santos, Maike Schwammberger, Marco Autili, Marie Farrell, Mario Gleirscher, Matt Luckcuck, Mengwei Xu, Michael Fisher, Natasha Alechina, Patrizio Pelliccione, Pedro Ribeiro, Rafael C. Cardoso, Silvia Lizeth Tapia Tarifa, Sven Linker, Taylor Johnson, Yi Yang","submitted_at":"2026-06-22T10:04:37Z","abstract_excerpt":"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 reliably are increasingly important.\n  This workshop report captures and expands on the discussions at the Lorentz Center Workshop \"Engineering Reliable Autonomous Systems\" (ERAS), held from 10 to 14 June 2024. The workshop was co-organised by the organisers of the Workshop on Formal Methods for Autonomous Systems (FMAS) and the Workshop on Agents and Robots for reliable Engineered Autonomy (AREA). It brought togeth"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23760","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.23760/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}