CEA-List has developed a runtime safety supervision environment for autonomous systems built using AI.
Read more
CAISAR (Characterizing Artificial Intelligence Safety and Robustness) is an end-to-end open source software environment for AI system specification and verification.
Read more