Aleksandar Babac

发表

Verifying Epistemic Properties of Multi-agent Systems via Action-Based Temporal Logic

Mojca Ciglaric, Marina Bagić Babac, Marina Bagic Babac, 2008, 2008 International Conference on Computational Intelligence for Modelling Control & Automation.

Verification of communication protocols in a multi-agent system

Marina Bagić Babac, Marijan Kunstic, Marina Bagic Babac, 2008, CSTST.