Our quest for the holy grail of agent verification

Abstract

Since the inception of agent technology almost two decades ago, researchers have worked both on the formal, theoretical aspects of intelligent agents and on the realisation / implementation of them. However, the link between the two has always remained rather unclear, to this day. Although there is a definite need for the verification of agents, the methods and techniques for this are still in their infancy. We describe our personal ongoing quest for the 'right' approach to agent verification. © Springer-Verlag Berlin Heidelberg 2007.