Sensornetzwerk an einem Fahrrad. Jannis Stoppe vom Deutschen Forschungszentrum für Künstliche Intelligenz zeigt, wie man nachweist, dass die Software für das System auch wirklich zuverlässig funktioniert.