loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Christian Schwarz 1 ; Ammar Mohammed 1 and Frieder Stolzenburg 2

Affiliations: 1 Universität Koblenz-Landau, Germany ; 2 Hochschule Harz, Germany

Keyword(s): Multi-agents specification, Verification, Hybrid automata.

Related Ontology Subjects/Areas/Topics: Agent Models and Architectures ; Agents ; Artificial Intelligence ; Artificial Intelligence and Decision Support Systems ; Distributed and Mobile Software Systems ; Enterprise Information Systems ; Knowledge Engineering and Ontology Development ; Knowledge-Based Systems ; Multi-Agent Systems ; Privacy, Safety and Security ; Software Engineering ; State Space Search ; Symbolic Systems

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.202.183.118

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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; ISSN 2184-433X, SciTePress, pages 323-326. DOI: 10.5220/0002727703230326

@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},
issn={2184-433X},
}

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
IS - 2184-433X
AU - Schwarz, C.
AU - Mohammed, A.
AU - Stolzenburg, F.
PY - 2010
SP - 323
EP - 326
DO - 10.5220/0002727703230326
PB - SciTePress