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

Other Research Product

Publication Date:

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.

Iris type:

05.12 Altro

Keywords:

Probabilistic model-checking; On-the-fly model-checking; Mean-field approximation

List of contributors:

Handle:

Full Text:

URL