conftrace_

stochastic satisfiability

2 papers

Explore in graph

Also known as

SSAT

Co-occurring keywords · papers mentioning both

finite horizon (1) decision-theoretic planning (1) disparate impact (1) fairness verification (1) equalized odd (1) statistical parity (1) bias mitigation (1) partially observable markov decision process (1) formal verification (1)

Papers

Justicia: A Stochastic SAT Approach to Formally Verify Fairness AAAI 2021 On the Relationship Between Satisfiability and Markov Decision Processes UAI 2019