Browse by People

Lefaucheux, Engel ORCID: 0000-0003-0875-300X, Ouaknine, Joël ORCID: 0000-0003-0031-9356, Purser, David ORCID: 0000-0003-0394-1634 and Sharifi, Mohammadamin ORCID: 0000-0002-1987-9487 (2023) 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.