A counter abstraction technique for verifying properties of probabilistic swarm systems.

Alessio Lomuscio Edoardo Pirovano

Published in: Artif. Intell. (2022)

Keyphrases

distributed systems
database
high level
management system
generative model
databases
learning algorithm
computer vision
information systems
multimedia
bayesian networks
artificial neural networks
belief networks