UNITesi

Formal methods for dynamical systems: invariants, reachability, inference.

COLLODI, LUISA
2024
2024
Inglese
differential equations; conservation laws; polynomials; reachability; streams; algebraic geometry; Bayesian parameter estimation; interval arithmetic; probabilistic programming; operational semantics; measure theory; Monte Carlo simulation; SIMD parallelism
195
Università degli Studi di Firenze
File in questo prodotto:
File Dimensione Formato  
TESI.pdf

accesso aperto

Licenza: Tutti i diritti riservati
Dimensione 2.69 MB
Formato Adobe PDF
Visualizza/Apri
2.69 MB Adobe PDF Visualizza/Apri

I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14242/187391
Il codice NBN di questa tesi è URN:NBN:IT:UNIFI-187391