@phdthesis{fer:6717, author = {{Bagić Babac, Marina}}, title = {{Verification of dynamic epistemic properties in multi-agent systems}}, }