AI and Machine Learning Creating and verifying stable AI-controlled systems in a rigorous and flexible way July 30, 2024