Tesi etd-11152022-120741 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea magistrale
Autore
MONTAGNA, VALERIA
URN
etd-11152022-120741
Titolo
Enhancing predictor analysis for reaction systems
Dipartimento
INFORMATICA
Corso di studi
INFORMATICA
Relatori
relatore Prof.ssa Gori, Roberta
relatore Prof. Bruni, Roberto
controrelatore Prof. Milazzo, Paolo
relatore Prof. Bruni, Roberto
controrelatore Prof. Milazzo, Paolo
Parole chiave
- reaction
- Over-approximation
- predictor
- abstract
- interpretation
- computing
- natural
- systems
Data inizio appello
02/12/2022
Consultabilità
Tesi non consultabile
Riassunto
This thesis focuses on the formalization and analysis of an efficient method to over-approximate a predictor for reaction systems. Alongside this, we have the construction of the MuMa Predictor, a tool that allows the dynamic behaviour of reaction systems to be investigated using this method.
File
| Nome file | Dimensione |
|---|---|
Tesi non consultabile. |
|