Lam, K.-H.; Tabatabai, D.; Irvine, J.; Bertucci, D.; Ruangrotsakun, A.; Kahng, M.; Fern, A. Beyond Value: CheckList for Testing Inferences in Planning-Based RL. ICAPS 2022, 32, 606-614.