On-the-fly fast mean field model checking for collective adaptive systems

Altro Prodotto di Ricerca
Data di Pubblicazione:
2014
Abstract:
In this abstract work on the application of mean-field theory in the definition and implementation of on-the-fly probabilistic model checking of CAS.
Tipologia CRIS:
05.12 Altro
Keywords:
Probabilistic model-checking; On-the-fly model-checking; Mean-field approximation
Elenco autori:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/293925
Link al Full Text: