Assurance of agent systems: What role should formal verification play?
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ﬁcation. We identify a range of issues with existing work which leads us to conclude that, broadly speaking, veriﬁ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.
Publisher: University of Otago
Series number: 2010/01
Research Type: Discussion Paper