Belardinelli F, Boureanu I, Malvone V, Rajaona F. Automatically Verifying Expressive Epistemic Properties of Programs. AAAI [Internet]. 2023Jun.26 [cited 2026Apr.23];37(5):6245-52. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/25769