FairSquare: probabilistic verification of program fairness.
Aws AlbarghouthiLoris D'AntoniSamuel DrewsAditya V. NoriPublished in: Proc. ACM Program. Lang. (2017)
Keyphrases
- symbolic execution
- hardware designs
- probabilistic model
- model checking
- computer programs
- bayesian networks
- generative model
- face verification
- game theory
- data driven
- probability theory
- information theoretic
- static analysis
- resource allocation
- machine learning
- real time
- test cases
- probabilistic logic
- control program
- multi agent