The aim of this document is to identify the first steps towards integrating the results from Task1.1 in Work Package 1 with the language development work that is being carried out in Work Package 4. Specifically we consider how the emerging features of the Carma language can be used to take advantage of the scalable analysis techniques developed in Task1.1. Moreover, we also assess what changes might be required for Carma in order to link with the results on uncertain CTMCs, and their approximation by differential inclusions in Task1.1.
Linking language and mean field approximations
Bortolussi L;
2015
Abstract
The aim of this document is to identify the first steps towards integrating the results from Task1.1 in Work Package 1 with the language development work that is being carried out in Work Package 4. Specifically we consider how the emerging features of the Carma language can be used to take advantage of the scalable analysis techniques developed in Task1.1. Moreover, we also assess what changes might be required for Carma in order to link with the results on uncertain CTMCs, and their approximation by differential inclusions in Task1.1.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_362794-doc_119510.pdf
accesso aperto
Descrizione: Linking language and mean field approximations
Dimensione
473.41 kB
Formato
Adobe PDF
|
473.41 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
