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: