Cooperative Verification via Collective Invariant Generation.

Jan Haltermann Heike Wehrheim

Published in: CoRR (2020)

Keyphrases

multi agent
cooperative
multi agent systems
distributed problem solving
cooperative learning
generation process
real time
collective intelligence
formal analysis
quasi invariant
artificial intelligence
decision trees
model checking
game theory
concurrent systems