Login / Signup
A Generalization of SAT and #SAT for Robust Policy Evaluation.
Erik Peter Zawadzki
André Platzer
Geoffrey J. Gordon
Published in:
IJCAI (2013)
Keyphrases
</>
sat solvers
sat problem
policy evaluation
search algorithm
least squares
machine learning
temporal difference