Alghamdi, Kholud, and Marius Silaghi. 2022. “Automatic Verification of Multi-Agent Systems Security Properties Specified With LTL”. The International FLAIRS Conference Proceedings 35 (May). https://doi.org/10.32473/flairs.v35i.130551.