Verifying Nonlinear Real Formulas Via Sums of Squares.

Published in: TPHOLs (2007)

Keyphrases

real life
real world
random variables
model checking
artificial intelligence
optimal solution
relational databases
control system
hough transform
temporal logic
nonlinear models