| |
| 2007 | ||
|---|---|---|
| 4 | EE | Nardine Osman, David Robertson: Dynamic Verification of Trust in Distributed Open Systems. IJCAI 2007: 1440-1445 |
| 2006 | ||
| 3 | EE | Nardine Osman, David Robertson, Christopher Walton: Run-time model checking of interaction and deontic models for multi-agent systems. AAMAS 2006: 238-240 |
| 2 | EE | Nardine Osman, David Robertson, Christopher Walton: Dynamic Model Checking for Multi-agent Systems. DALT 2006: 43-60 |
| 2005 | ||
| 1 | Nardine Osman, David Robertson, Christopher Walton: Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems. EUMAS 2005: 248-259 | |
| 1 | David Robertson | [1] [2] [3] [4] |
| 2 | Christopher Walton | [1] [2] [3] |