On the Modeling and Verification of Collective and Cooperative Systems.

Alessandro Aldini

Published in: Future Internet (2022)

Keyphrases

cooperative
intelligent user interfaces
formal methods
databases
search engine
multi agent systems
hidden markov models
probabilistic model
distributed systems
retrieval systems