Automatic verification of multi-agent systems security properties specified with LTL.

Kholud Alghamdi, Marius Silaghi

Browse the full FlAIRS paper archive.