On robustness for the Skolem and positivity problems

DOI10.4230/LIPICS.STACS.2022.5MaRDI QIDQ6490959FDOQ6490959

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

Publication date: 23 April 2024

zbMATH Keywords

verificationdynamical systemsrobustnessSkolem problem

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited In (3)

• On robustness for the Skolem, positivity and ultimate positivity problems
• 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)