From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications

In order to design and implement multiagent systems, the specification method should be as expressive and comprehensive as possible. Statecharts, which are capable of describing dynamic systems and are widely accepted in the computer science community, are applied and investigated for this objective...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Stolzenburg, Frieder, Arai, Toshiaki
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Artificial intelligence Atomic Proposition Computer science control theory systems Exact sciences and technology Learning and adaptive systems Model Check Multiagent System Obstacle Avoidance Software State Machine
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!