Deciding ω-Regular Properties on Linear Recurrence Sequences.

Shaull Almagor Toghrul Karimov Edon Kelmendi Joël Ouaknine James Worrell

Published in: CoRR (2020)

Keyphrases

hidden markov models
desirable properties
multiresolution
physico chemical
computer vision
image processing
website
reinforcement learning
multi agent
search algorithm
least squares
sequential patterns
topological properties