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:
SAS (2012)
Keyphrases
</>
imperative programs
numerically stable
polynomial equations
dynamic logic
numerical stability
inference process
bayesian networks
probabilistic inference
belief networks
high level
plan execution
computer vision
belief base