On robustness for the Skolem and positivity problems

DOI10.4230/LIPICS.STACS.2022.5MaRDI QIDQ6490959zbMATH OpenFDO

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

Publication date 23 April 2024

Full work available at URL https://doi.org/10.4230/LIPICS.STACS.2022.5

zbMATH Keywords

verificationdynamical systemsrobustnessSkolem problem

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(6)

• Robust positivity problems for linear recurrence sequences: the frontiers of decidability for explicitly given neighbourhoods
• Linear dynamical systems with continuous weight functions
• On robustness for the Skolem, positivity and ultimate positivity problems
• Linear dynamical systems with weight functions
• On the complexity of robust eventual inequality testing for C-finite functions
• Model checking linear dynamical systems under floating-point rounding

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)