@phdthesis{Collodi_PhD,
    author = {Luisa Collodi},
    title = {Formal methods for dynamical systems - invariants, reachability, inference},
    year = {2023},
    date-added = {2024-6-9 8:36:55 +0100}
}

@phdthesis{Collodi_PhD, author = {Luisa Collodi}, title = {Formal methods for dynamical systems - invariants, reachability, inference}, year = {2023}, date-added = {2024-6-9 8:36:55 +0100} }