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