D1.3 Formal specification for learning-enabled autonomous systems: download

D1.4: Integrated evidential tool chain for the incremental and continuous generation of safety & security assurance cases: download

D2.7: Tool + manual: modelling and simulation of autonomy: download

D3.1 Report: Systematic and coverage-driven testing of learning components: download

D3.2: Report: Formal verification of learning components: download

D3.3 Report: AI-enabled systematic and intelligent testing of autonomous systems: download

D3.4 Report: Early validation result WP3: download

D3.5: Tool + Manual: Verification and testing of learning-enabled systems: download

D4.1 Report: Provable safe reinforcement learning: download

D4.2: Report: Runtime enforcement for performance while guaranteeing safety: download

D4.3: Report: Systematic refinement: download

D4.4 Report: Understanding decision faithfulness of machine learning components: download

D4.5 Report: Early validation result WP4: download

D4.6: Tool + Manual: Agent building toolkit for performance with safety: download

D5.6: Report on Public Demonstration: download

D6.1 Dissemination Action Plan including project corporate identity: download

D6.2: Dissemination action plan update: download

D6.3 Dissemination set (poster, leaflet, Kakemono) and Website: download

D6.4 Project newsletter 1: download

D6.5 Project newsletter 2: download

D6.6: Project Newsletter 3: download

D6.7: Project mini-video: download

D6.8 Report on workshop #1 organisation: download

D6.9: Report on workshop #2 organisation: download

D6.11: Standardization Final Report: download