(1)
Belardinelli, F.; Lomuscio, A.; Yu, E. Model Checking Temporal Epistemic Logic under Bounded Recall. AAAI 2020, 34, 7071-7078.