Ein neues Framework verbessert die Sicherheit in selbstfahrenden Autos durch formale Methoden.
― 8 min Lesedauer
Hochmoderne Wissenschaft einfach erklärt
Ein neues Framework verbessert die Sicherheit in selbstfahrenden Autos durch formale Methoden.
― 8 min Lesedauer