A Property-based Testing Framework for Multi-Agent Systems.

Clara Benac Earle Lars-Åke Fredlund

Published in: AAMAS (2019)

Keyphrases

multi agent systems
neural network
main contribution
probabilistic model
conceptual framework
information retrieval
data mining
clustering algorithm
database systems
similarity measure
multiscale
multi agent
lightweight
theoretical framework
logical framework
key properties