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á bibliografia

Vydané v:	FME Workshop on Formal Methods in Software Engineering (Online) s. 122 - 126
Hlavní autori:	Tagliaferro, Alberto, Lestingi, Livia, Rossi, Matteo
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	ACM 14.04.2024
Predmet:	Domain-Specific Language DSL Formal languages Multi-Agent Patterns Specification Organizations Pattern Verification Programming Semantics Service robots Software
ISSN:	2575-5099
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!