Kin-Ho Lam, Delyar Tabatabai, Jed Irvine, Donald Bertucci, Anita Ruangrotsakun, Minsuk Kahng, Alan Fern: Beyond Value: CheckList for Testing Inferences in Planning-Based RL. ICAPS 2022: 606-614