Abschnittsübersicht

  • Moritz Bayerkuhnlein (U Bamberg) will present a regular seminar talk in this week:

    • Challenges of Ethical Governors using Automated Theorem Proving as Safety-Harnesses