| |
| 2003 | ||
|---|---|---|
| 2 | EE | Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge: Model checking agentspeak. AAMAS 2003: 409-416 |
| 1 | EE | Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge: Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113 |
| 1 | Rafael H. Bordini | [1] [2] |
| 2 | Michael Fisher | [1] [2] |
| 3 | Willem Visser | [1] |
| 4 | Michael Wooldridge | [1] [2] |