O-Minimal Invariants for Linear Loops.

Shaull Almagor Dmitry Chistikov Joël Ouaknine James Worrell

Published in: ICALP (2018)

Keyphrases

closed form
linear complexity
information retrieval
learning algorithm
computer vision
case study
pattern recognition
transfer function
linear systems