This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Characterising Robust Instances of Ultimate Positivity for Linear Dynamical Systems

Mihir Vahanwala
keywords:
Linear Dynamical Systems, Verification, Robustness, Ultimate Positivity

Max Planck Institute for Software Systems, Saarland Informatics Campus, Germanymvahanwa@mpi-sws.orghttps://orcid.org/0009-0008-5709-899X \CopyrightMihir Vahanwala \ccsdesc[100]Theory of computation; Logic and verification