Sound Numerical Computations in Abstract Acceleration

DOI10.1007/978-3-319-63501-9_4OpenAlexW2735413273MaRDI QIDQ5086230

Peter Schrammel, Daniel Kroening, Dario Cattaruzza, Alessandro Abate

Publication date: 1 July 2022

Published in: Numerical Software Verification (Search for Journal in Brave)

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:69245401-e33b-4f2a-884e-0b33dee0bed2

Mathematics Subject Classification ID

General methods in interval analysis (65G40) Complexity and performance of numerical algorithms (65Y20)

Related Items (1)

Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration

This page was built for publication: Sound Numerical Computations in Abstract Acceleration