Towards Verifiable Multi-Agent Interaction Pattern Specification.

Alberto Tagliaferro Livia Lestingi Matteo Rossi

Published in: FormaliSE@ICSE (2024)

Keyphrases

agent interactions
pattern matching
intelligent agents
software agents
high level
machine learning
multi agent
multi agent systems
bayesian networks
sufficient conditions
user defined
pattern languages