Model Checking Linear Dynamical Systems under Floating-point Rounding.

Engel Lefaucheux, Jol Ouaknine, David Purser, Mohammadamin Sharifi

Browse the full TACAS paper archive.