Compositional Verification of Stigmergic Collective Systems.

Luca Di Stefano Frédéric Lang

Published in: VMCAI (2023)

Keyphrases

data mining
distributed systems
complex systems
search algorithm
systems require
model checking
management system
expert systems
multi agent
computer vision
video sequences
real time
multiscale
website
metadata
computer systems
building blocks
artificial intelligence
formal methods
databases