Maschinelle Verifikation von Fairness-Eigenschaften mit Hilfe formaler Informationsflussanalyse
| Typ: | |
|---|---|
| Datum: | 2021-10-10 |
| Betreuer: |
Michael Kirsten Jonas Klamroth Mattias Ulbrich |
| Aushang: |
| Typ: | |
|---|---|
| Datum: | 2021-10-10 |
| Betreuer: |
Michael Kirsten Jonas Klamroth Mattias Ulbrich |
| Aushang: |