<p><strong>2010/01:</strong> M. Winikoff. <em>Assurance of agent systems: What role should formal verification play?.</em> <a href="dp2010-abstracts.htm#dp2010-01">Abstract</a> |  <a href="papers/dp2010-01.pdf">Download</a> (296 KB)</p>

<p><strong>2010/02:</strong> S.-P. Yong and J. D. Deng and M. K. Purvis. <em>Modelling semantic context for novelty detection in wildlife scenes.</em> <a href="dp2010-abstracts.htm#dp2010-02">Abstract</a> |  <a href="papers/dp2010-02.pdf">Download</a> (3.4 MB) <span class="note">(Corrected version uploaded 2010-05-04.)</span></p>

<p><strong>2010/03:</strong> B. T. R. Savarimuthu and S. Cranefield and M. A. Purvis and M. K. Purvis. <em>Norm identification in multi-agent societies.</em> <a href="dp2010-abstracts.htm#dp2010-03">Abstract</a> |  <a href="papers/dp2010-03.pdf">Download</a> (562 KB)</p>

<p><strong>2010/04:</strong> R. M. Withanawasam and P. A. Whigham and T. Crack and I. M. Premachandra. <em>An empirical investigation of the Maslov limit order market model.</em> <a href="dp2010-abstracts.htm#dp2010-04">Abstract</a> |  <a href="papers/dp2010-04.pdf">Download</a> (832 KB)</p>