pid type title authors mentors source_title published_date url doi isbn issn eissn fer:6717 dissertation "Verification of dynamic epistemic properties in multi-agent systems" "Bagić Babac, Marina"