Complexity in Automation of SOS Proofs: An Illustrative Example.

Dennice F. Gayme Maryam Fazel John C. Doyle

Published in: CDC (2006)

Keyphrases

data sets
search algorithm
computational complexity
computational cost
real time
real world
computer vision
information systems
multiscale
lower bound
probabilistic model
theorem prover
theorem proving
complexity analysis
decision procedures