Dieses Papier präsentiert eine formelle Methode zum Testen von Verkehrs-Störungen in autonomen Fahrzeugen.
― 6 min Lesedauer
Étienne André
Ein Blick auf disjunktive zeitliche Netzwerke und ihre Verifikationsmethoden.
― 5 min Lesedauer
Hochmoderne Wissenschaft einfach erklärt
Dieses Papier präsentiert eine formelle Methode zum Testen von Verkehrs-Störungen in autonomen Fahrzeugen.
― 6 min Lesedauer
Ein Blick auf disjunktive zeitliche Netzwerke und ihre Verifikationsmethoden.
― 5 min Lesedauer