Automatic verification of multi-agent systems security properties specified with LTL. - Kholud Alghamdi; Marius Silaghi 001 (FLAIRS, 2022)

Implications of Bounds in Approval Voting. - Kholud Alghamdi; Marius Silaghi 001 (FLAIRS, 2022)