Tatiana Lopez-Guevara Michael Burke Nicholas K. Taylor Kartic Subr IV-Posterior: Inverse Value Estimation for Interpretable Policy Certificates. 2020 abs/2012.01925 CoRR https://arxiv.org/abs/2012.01925 db/journals/corr/corr2012.html#abs-2012-01925