Aleksandar Babac

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Marina Bagic, Aleksandar Babac, Mojca Ciglaric
Verifying Epistemic Properties of Multi-agent Systems via Action-Based Temporal Logic. CIMCA/IAWTIC/ISE (2008)
Marina Bagic, Aleksandar Babac, Marijan Kunstic
Verification of communication protocols in a multi-agent system. CSTST (2008)