Formale Verifikation von Baum-basierten ML-Modellen für seitliches Ausbreiten
Maschinelles Lernen wird zunehmend zur Vorhersage geotechnischer Gefahren eingesetzt. Trotz hoher Genauigkeit können Modelle jedoch physikalisch inkonsistente Zusammenhänge aus unvollständigen oder voreingenommenen Trai…