RoboSapiens

Menu

Deliverables

D5.2 - Distributed architecture for the RoboSAPIENS platform
D5.1 - Initial architecture for the RoboSAPIENS platform
D4.2 - Modeling and simulation
D4.1 - Case study compendium
D3.2 - Monitorable and trustworthy verification loops
D3.1 - Trustworthiness in MAPE-K loops — Needs, Architectures, and Techniques
D1.2 - Operational Requirements for Case Studies
D1.1 - Architecture and semantics for verification and uncertainty quantification