Framework for Certification of AI-Based Systems. - Maxime Gariel; Brian Shimanuki; Rob Timpe; Evan Wilson (CoRR, 2023)