Marina Bagic Babac

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

Mojca Ciglaric, Marina Bagić Babac, Marina Bagic Babac, 2008, 2008 International Conference on Computational Intelligence for Modelling Control & Automation.

AgentTest: A specification language for agent-based system testing

Marina Bagić Babac, Dragan Jevtic, Marina Bagic Babac, 2014, Neurocomputing.

Verification of Intelligent Agents with ACTL for Epistemic Reasoning

Marijan Kunstic, Marina Bagic Babac, 2006, 2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06).

Generating Politician Profiles based on Content Analysis of Social Network Datasets

Vedran Podobnik, Marina Bagic Babac, Klara Grcic, 2017, J. Univers. Comput. Sci..

Modelling Epistemic Properties for Specification and Verification of a Multi-agent System

Mojca Ciglaric, Marina Bagic Babac, 2007, Software Engineering Research and Practice.

Towards SDL Ontology

Marina Bagić Babac, Marijan Kunstic, Marina Bagic Babac, 2010, Int. J. Comput. Sci. Appl..

Formal Infrastructure for Modelling Intelligent Agents with Agent UML and Petri Nets

Marina Bagic Babac, 2004, OTM Workshops.

Model-based verification of the SIP invite scenario

Marina Bagic Babac, Sinisa Matetic, 2013, 2013 36th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO).

What social media activities reveal about election results? The use of Facebook during the 2015 general election campaign in Croatia

Vedran Podobnik, Marina Bagić Babac, Marina Bagic Babac, 2018, Inf. Technol. People.

A sentiment analysis of who participates, how and why, at social media sport websites: How differently men and women write about football

Vedran Podobnik, Marina Bagić Babac, Marina Bagic Babac, 2016, Online Inf. Rev..

Implementation of Epistemic Operators for Model Checking Multi-agent Systems

Marina Bagić Babac, Marijan Kunstic, Marina Bagic Babac, 2009, ICCCI.

Verification of communication protocols in a multi-agent system

Marina Bagić Babac, Marijan Kunstic, Marina Bagic Babac, 2008, CSTST.

SDL Ontology for Specifying Systems Based on Finite State Machines

Marijan Kunstic, Marina Bagic Babac, 2010, PAAMS.

Abstract Test Suite Specification for ACL Communicating Agents

Dragan Jevtic, Marina Bagic Babac, 2013, KES-AMSTA.

A Machine Learning Approach to Flight Control of a VTOL Tailsitter UAV

Marina Bagic Babac, Sandro Domitran, 2021, 2021 44th International Convention on Information, Communication and Electronic Technology (MIPRO).

The Use of Deep Reinforcement Learning for Flying a Drone

Marina Bagic Babac, Sandro Domitran, 2021, J. Inf. Sci. Eng..