@misc{b4d0adbf39bd4672a2ae5138b2af86f4,
title = "Programming verifiable heterogeneous agent systems",
abstract = "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.",
keywords = "Model check, Multiagent system, Operational semantic, Transition rule, Belief base",
author = "Dennis, {Louise A.} and Michael Fisher",
year = "2009",
doi = "10.1007/978-3-642-03278-3_3",
language = "Undefined",
isbn = "9783642032776",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature",
address = "United States",
type = "Other",
}