Verification of dynamic epistemic properties in multi-agent systems : doctoral thesis = Verifikacija dinamičkih epistemičkih svojstava višeagentskih sustava : doktorska disertacija - Bagić, Marina (M. Bagić Babac, 2009)