Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems.

Alessio Lomuscio Edoardo Pirovano

Published in: IJCAI (2018)

Keyphrases

real time
information retrieval
metadata
probabilistic model
management system
intelligent systems
data sets
genetic algorithm
artificial intelligence
cooperative
search space
mobile robot
data driven
swarm intelligence