A TOOL ENVIRONMENT FOR SPECIFYING AND VERIFYING MULTI-AGENT SYSTEMS

Christian Schwarz, Ammar Mohammed, Frieder Stolzenburg

2010

Abstract

We present a tool environment with a constraint logic programming core, that allows us to specify multi-agent systems graphically and verify them automatically. This combines the advantages of graphical notations from software engineering and formal methods. We demonstrate this on a Robocup rescue scenario.

Paper Citation

in Harvard Style

Schwarz C., Mohammed A. and Stolzenburg F. (2010). A TOOL ENVIRONMENT FOR SPECIFYING AND VERIFYING MULTI-AGENT SYSTEMS . In Proceedings of the 2nd International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-674-022-1, pages 323-326. DOI: 10.5220/0002727703230326

in Bibtex Style

@conference{icaart10,
author={Christian Schwarz and Ammar Mohammed and Frieder Stolzenburg},
title={A TOOL ENVIRONMENT FOR SPECIFYING AND VERIFYING MULTI-AGENT SYSTEMS},
booktitle={Proceedings of the 2nd International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2010},
pages={323-326},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002727703230326},
isbn={978-989-674-022-1},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - A TOOL ENVIRONMENT FOR SPECIFYING AND VERIFYING MULTI-AGENT SYSTEMS
SN - 978-989-674-022-1
AU - Schwarz C.
AU - Mohammed A.
AU - Stolzenburg F.
PY - 2010
SP - 323
EP - 326
DO - 10.5220/0002727703230326