A Generalization of SAT and #SAT for Robust Policy Evaluation.

Erik Peter Zawadzki, Andr Platzer, Geoffrey J. Gordon

Browse the full IJCAI paper archive.