Login / Signup
Inference of polynomial invariants for imperative programs: A farewell to Gröbner bases.
David Cachera
Thomas P. Jensen
Arnaud Jobin
Florent Kirchner
Published in:
Sci. Comput. Program. (2014)
Keyphrases
</>
imperative programs
numerically stable
polynomial equations
numerical stability
dynamic logic
plan execution
bayesian inference
probabilistic inference
inference process
computer vision
machine learning
knowledge base
bayesian networks
decision theoretic
belief base