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.
On-the-fly fast mean field model checking for collective adaptive systems
Massink M.
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_330479-doc_101888.pdf
accesso aperto
Descrizione: On-the-fly fast mean field model checking for collective adaptive systems
Dimensione
4.39 MB
Formato
Adobe PDF
|
4.39 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
