Positivity Problems for Reversible Linear Recurrence Sequences

George Kenison, Joris Nieuwveld, Joël Ouaknine, James Worrell 0001. Positivity Problems for Reversible Linear Recurrence Sequences. In Kousha Etessami, Uriel Feige, Gabriele Puppis, editors, 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany. Volume 261 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Abstract

Abstract is missing.