| |
| 2007 | ||
|---|---|---|
| 3 | Marina Bagic, Mojca Ciglaric: Modelling Epistemic Properties for Specification and Verification of a Multi-agent System. Software Engineering Research and Practice 2007: 197-202 | |
| 2006 | ||
| 2 | EE | Marina Bagic, Marijan Kunstic: Verification of Intelligent Agents with ACTL for Epistemic Reasoning. CIMCA/IAWTIC 2006: 62 |
| 2004 | ||
| 1 | EE | Marina Bagic: Formal Infrastructure for Modelling Intelligent Agents with Agent UML and Petri Nets. OTM Workshops 2004: 842-853 |
| 1 | Mojca Ciglaric | [3] |
| 2 | Marijan Kunstic | [2] |