On robustness for the Skolem and positivity problems

DOI10.4230/LIPICS.STACS.2022.5MaRDI QIDQ6490959FDO

Authors S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala

Publication date 23 April 2024

zbMATH Keywords

verificationdynamical systemsrobustnessSkolem problem

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(3)

• On the complexity of robust eventual inequality testing for C-finite functions
• Model checking linear dynamical systems under floating-point rounding
• On robustness for the Skolem, positivity and ultimate positivity problems

This page was built for publication: On robustness for the Skolem and positivity problems

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