%0 Conference Proceedings
%F akshay:hal-03695798
%A Akshay, S
%A Bazille, H.
%A Genest, B.
%A Vahanwala, M.
%T {On Robustness for the Skolem and Positivity Problems}
%B {STACS 2022 - 39th International Symposium on Theoretical Aspects of Computer Science}
%V 219
%N 5
%P 1-20
%C Marseille, France
%U https://hal.archives-ouvertes.fr/hal-03695798/file/23-LIPIcs-STACS-2022-5.pdf
%U http://dx.doi.org/10.4230/LIPIcs.STACS.2022.5
%8 May
%D 2022
%K verification 
%K  dynamical systems 
%K  robustness 
%K  Skolem problem