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