O-Minimal Invariants for Linear Loops.

Shaull Almagor Dmitry Chistikov Joël Ouaknine James Worrell

Published in: CoRR (2018)

Keyphrases

databases
real time
learning algorithm
differential operators
computer vision
artificial neural networks
invariant features
closed form solutions
quadratic programming
linear complexity