ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-11152022-120740

Tipo di tesi

Tesi di laurea magistrale

URN

etd-11152022-120740

Titolo

Enhancing predictor analysis for reaction systems.

Dipartimento

INFORMATICA

Corso di studi

INFORMATICA

Parole chiave

abstract
abstract interpretation
natural computing
Over approximation
predictor
reaction systems

Data inizio appello

02/12/2022

Consultabilità

Tesi non consultabile

Riassunto (Inglese)

Riassunto (Italiano)

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. Contatta l’autore