Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis (Lecture Notes in Computer Science, 2018)

(untitled) - Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A