Marina Bagic

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Marina Bagic, Aleksandar Babac, Mojca Ciglaric
Verifying Epistemic Properties of Multi-agent Systems via Action-Based Temporal Logic. CIMCA/IAWTIC/ISE (2008)
Marina Bagic, Aleksandar Babac, Marijan Kunstic
Verification of communication protocols in a multi-agent system. CSTST (2008)
Marina Bagic, Mojca Ciglaric
Modelling Epistemic Properties for Specification and Verification of a Multi-agent System. Software Engineering Research and Practice (2007)
Marina Bagic, Marijan Kunstic
Verification of Intelligent Agents with ACTL for Epistemic Reasoning. CIMCA/IAWTIC (2006)
Marina Bagic
Formal Infrastructure for Modelling Intelligent Agents with Agent UML and Petri Nets. OTM Workshops (2004)
Marijan Kunstic, Marina Bagic
Formal infrastructure of multiagent system specified by Agent UML and Petri Nets. CCCT (2) (2004)