Formal and Statistical Certification of Robustness and Fairness for AI


Loading...

Author / Producer

Date

2024

Publication Type

Doctoral Thesis

ETH Bibliography

yes

Citations

Altmetric

Data

Publication status

published

Editor

Contributors

Examiner : Vechev, Martin
Examiner : Fredrikson, Matt
Examiner : Fritz, Mario

Book title

Journal / series

Volume

Pages / Article No.

Publisher

ETH Zurich

Event

Edition / version

Methods

Software

Geographic location

Date collected

Date created

Subject

Organisational unit

03948 - Vechev, Martin / Vechev, Martin check_circle

Notes

Funding

Related publications and datasets