Alghamdi K, Silaghi M. Automatic verification of multi-agent systems security properties specified with LTL. FLAIRS [Internet]. 2022 May 4 [cited 2024 Dec. 4];35. Available from: https://journals.flvc.org/FLAIRS/article/view/130551