<div class="sectionTitle">Information Science Discussion Papers Series: 2010 Abstracts</div>

<hr>

<a name="dp2010-01"></a><h3>2010/01: Assurance of agent systems: What role should formal verification play?</h3> 

<h4>M. Winikoff</h4> 

<p>In this paper we consider the broader issue of gaining assurance that an agent system will behave appropriately when it is deployed. We ask to what extent this problem is addressed by existing research into formal veri&#64257;cation. We identify a range of issues with existing work which leads us to conclude that, broadly speaking, veri&#64257;cation approaches on their own are too narrowly focussed. We argue that a shift in direction is needed, and outline some possibilities for such a shift in direction.</p> 

<p><a href="papers/dp2010-01.pdf">Download</a> (PDF, 296 KB)</p>