2 papers
cs.LO2024
Model Checking Markov Chains as Distribution Transformers
Rajab Aghamov, Christel Baier, Toghrul Karimov +4
The conventional perspective on Markov chains considers decision problems concerning the probabilities of temporal properties being satisfied by traces of visited states. However,…
math.NT2024
Twisted rational zeros of linear recurrence sequences
Yuri Bilu, Florian Luca, Joris Nieuwveld +2
We introduce the notion of a twisted rational zero of a non-degenerate linear recurrence sequence (LRS). We show that any non-degenerate LRS has only finitely many such twisted rat…