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

Full description

Bibliographic Details

Published in:	FME Workshop on Formal Methods in Software Engineering (Online) pp. 122 - 126
Main Authors:	Tagliaferro, Alberto, Lestingi, Livia, Rossi, Matteo
Format:	Conference Proceeding
Language:	English
Published:	ACM 14.04.2024
Subjects:	Domain-Specific Language DSL Formal languages Multi-Agent Patterns Specification Organizations Pattern Verification Programming Semantics Service robots Software
ISSN:	2575-5099
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!