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....

Celý popis

Podrobná bibliografie

Vydáno v:	FME Workshop on Formal Methods in Software Engineering (Online) s. 122 - 126
Hlavní autoři:	Tagliaferro, Alberto, Lestingi, Livia, Rossi, Matteo
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 14.04.2024
Témata:	Domain-Specific Language DSL Formal languages Multi-Agent Patterns Specification Organizations Pattern Verification Programming Semantics Service robots Software
ISSN:	2575-5099
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!