Research Projects https://tu-dresden.de/ing/informatik/smt/st/forschung/forschungsprojekte https://tu-dresden.de/logo.png Research Projects CertML – Certifiable Machine Learning Based Control for Safety-critical Applications Funded by: XContact person: Mirko ConradFunding period: 01/2022 - 12/2025