Model checking linear dynamical systems under floating-point rounding
scientific article; zbMATH DE number 7777298
scientific article