[1]
F. Belardinelli, A. Lomuscio, and E. Yu, “Model Checking Temporal Epistemic Logic under Bounded Recall”, AAAI, vol. 34, no. 05, pp. 7071-7078, Apr. 2020.