Programming Verifiable Heterogeneous Agent Systems ⋆
by
Louise A. Dennis
,
Michael Fisher
| Citations: | 5 - 3 self |
BibTeX
@MISC{Dennis_programmingverifiable,
author = {Louise A. Dennis and Michael Fisher},
title = {Programming Verifiable Heterogeneous Agent Systems ⋆},
year = {}
}
OpenURL
Abstract
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. Thus, in this paper, we tackle the problem of implementing heterogeneous multi-agent systems in a semantically clear, and appropriate, way. 1







