Alghamdi, K. and Silaghi, M. 2022. Automatic verification of multi-agent systems security properties specified with LTL. The International FLAIRS Conference Proceedings. 35, (May 2022). DOI:https://doi.org/10.32473/flairs.v35i.130551.