Now showing items 1-1 of 1
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. ...