Belardinelli, F., Lomuscio, A., & Yu, E. (2020). Model Checking Temporal Epistemic Logic under Bounded Recall. Proceedings of the AAAI Conference on Artificial Intelligence, 34(05), 7071-7078. https://doi.org/10.1609/aaai.v34i05.6193