Alghamdi, Kholud, and Marius Silaghi. “Automatic Verification of Multi-Agent Systems Security Properties Specified With LTL”. The International FLAIRS Conference Proceedings 35 (May 4, 2022). Accessed December 12, 2024. https://journals.flvc.org/FLAIRS/article/view/130551.