Justicia: A Stochastic SAT Approach to Formally Verify Fairness
Paper in proceeding, 2021
Author
Bishwamittra Ghosh
National University of Singapore (NUS)
Debabrota Basu
Chalmers, Computer Science and Engineering (Chalmers), Data Science
Institut National de Recherche en Informatique et en Automatique (INRIA)
Kuldeep S. Meel
National University of Singapore (NUS)
35th AAAI Conference on Artificial Intelligence, AAAI 2021
Vol. 9A 7554-7563
978-1-57735-866-4 (ISBN)
, ,
Subject Categories
Probability Theory and Statistics
Signal Processing
Computer Vision and Robotics (Autonomous Systems)
ISBN
9781713835974