Reachability in dynamical systems with rounding

DOI10.4230/LIPICS.FSTTCS.2020.36MaRDI QIDQ6839866zbMATH OpenFDO

Authors Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland

Publication date 23 March 2026

Copyright license Creative Commons Attribution 3.0 Unported

zbMATH Keywords

dynamical systemsreachabilityrounding

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

This page was built for publication: Reachability in dynamical systems with rounding

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6839866)