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