Verifying Epistemic Properties of Multi-agent Systems via Action-Based Temporal Logic. - Marina Bagic; Aleksandar Babac; Mojca Ciglaric (CIMCA/IAWTIC/ISE, 2008)

Verification of communication protocols in a multi-agent system. - Marina Bagic; Aleksandar Babac; Marijan Kunstic (CSTST, 2008)