Belardinelli, F., I. Boureanu, V. Malvone, and F. Rajaona. “Automatically Verifying Expressive Epistemic Properties of Programs”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 37, no. 5, June 2023, pp. 6245-52, doi:10.1609/aaai.v37i5.25769.