Aleksandar Babac

According to our database, Aleksandar Babac authored at least 2 papers in 2008.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2008

Verification of communication protocols in a multi-agent system.

Marina Bagic, Aleksandar Babac, Marijan Kunstic

Proceedings of the CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, 2008

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

Marina Bagic, Aleksandar Babac, Mojca Ciglaric

Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008