Justicia: A Stochastic SAT Approach to Formally Verify Fairness
Paper i proceeding, 2021
Författare
Bishwamittra Ghosh
Universiti Kebangsaan Singapura (NUS)
Debabrota Basu
Chalmers, Data- och informationsteknik, Data Science
Institut National de Recherche en Informatique et en Automatique (INRIA)
Kuldeep S. Meel
Universiti Kebangsaan Singapura (NUS)
35th AAAI Conference on Artificial Intelligence, AAAI 2021
Vol. 9A 7554-7563
978-1-57735-866-4 (ISBN)
, ,
Ämneskategorier
Sannolikhetsteori och statistik
Signalbehandling
Datorseende och robotik (autonoma system)
ISBN
9781713835974