Assurance of agent systems: What role should formal verification play?
Winikoff, Michael

View/ Open
Cite this item:
Winikoff, M. (2010). Assurance of agent systems: What role should formal verification play? (Information Science Discussion Papers Series No. 2010/01). University of Otago. Retrieved from http://hdl.handle.net/10523/1102
Permanent link to OUR Archive version:
http://hdl.handle.net/10523/1102
Abstract:
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 verification. We identify a range of issues with existing work which leads us to conclude that, broadly speaking, verification 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.
Date:
2010-01
Publisher:
University of Otago
Pages:
23
Series number:
2010/01
Research Type:
Discussion Paper