Towards Verifiable Multi-Agent Interaction Pattern Specification

Smart cyber agents play a crucial role in software-intensive systems by monitoring their physical surroundings and making impactful decisions. This paper addresses the challenge of specifying multi-agent patterns, which include interactions with human agents in possibly safety-critical environments....

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	FME Workshop on Formal Methods in Software Engineering (Online) S. 122 - 126
Hauptverfasser:	Tagliaferro, Alberto, Lestingi, Livia, Rossi, Matteo
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 14.04.2024
Schlagworte:	Domain-Specific Language DSL Formal languages Multi-Agent Patterns Specification Organizations Pattern Verification Programming Semantics Service robots Software
ISSN:	2575-5099
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!