 | Up a level |
Number of items: 1.
Lefaucheux, Engel, Ouaknine, Joël, Purser, David 
ORCID: 0000-0003-0394-1634 and Sharifi, Mohammadamin
(2022)
Model Checking Linear Dynamical Systems under Floating-point Rounding.
In: TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2023-4-24 - 2023-4-27, Paris, France.
(In Press)