From High-Dimensional Spaces to Verifiable ODD Coverage for Safety-Critical AI-based Systems | ScienceToStartup | ScienceToStartup