Architecture for the RoboSAPIENS platform Loop with safety and trustworthiness
Initial architecture for the RoboSAPIENS platform
Modeling and simulation
Case study compendium
Monitorable and trustworthy verification loops
Requirements for safe and trustworthy MAPE-K loops
Self-adaptation and initial safety integration
Active learning and system monitoring
Operational requirements for the case studies
Formal models including uncertainty quantification and patterns for the PAL and DTI architectures