Intuition verpackt in ein formales Modell // Universität Oldenburg https://uol.de/aktuelles/artikel/intuition-verpackt-in-ein-formales-modell-1492
Im Sonderforschungsbereich AVACS haben Top-Informatiker vermeintlich „unentscheidbare“ Probleme in sicherheitskritischen Systemen beherrschbar gemacht. Im Interview blickt Sprecher Werner Damm auf spannende zwölf Jahre zurück.
gibt es zum Beispiel Vorgaben wie viel Mindestabstand zwischen den Fahrzeugen sein muss