Programming verifiable heterogeneous agent systems

Research output: Other contributionpeer-review


Our overall aim is to provide a verification framework for practical multi-agent systems. To achieve practicality, we must be able to describe and implement heterogeneous multi-agent systems. To achieve verifiability, we must define semantics appropriately for use in formal verification. In this paper, we tackle the problem of implementing heterogeneous multi-agent systems in a semantically clear, and appropriate, way.
Original languageUndefined
PublisherSpringer Nature
Number of pages16
ISBN (Print)9783642032776
ISBN (Electronic)9783642032783
Publication statusPublished - 2009

Publication series

NameLecture Notes in Computer Science


  • Model check
  • Multiagent system
  • Operational semantic
  • Transition rule
  • Belief base

Cite this