Willem Hagemann

Letztes Jahr habe ich zusammen mit meinen Kollegen vom DLR SE ein Forschungspapier mit dem Titel „Towards Safe and Sustainable Autonomous Vehicles Using Environmentally-Friendly Criticality Metrics“ veröffentlicht, das leider Raum für Verwirrung und mögliche Missverständnisse in Bezug auf seinen Inhalt ließ. Dies war auch der Grund, warum ich den Blogpost über die alte Version des [...]

Interessieren Sie sich für die Verifikation von künstlichen neuronalen Netzen? Dann lade ich Sie ein, den 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR) zu besuchen. Vor allem, weil mein Arbeitskollege Dominik Grundt auf dem SNR sein „work-in-progress“ Forschungspapier mit dem Titel „Verification of Sigmoidal Artificial Neural Networks using iSAT“ [...]