• Citations Per Year
Learn More
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure that not only includes the possible behaviours of the agent in its environment, but which also captures appropriate mental notions, such as belief, desire and intention, that may be(More)
  • 1