AI and Machine Learning Creating and verifying stable AI-controlled systems in a rigorous and flexible way
