Automatic synthesis of optimal invariant assertions: Mathematical foundations.
Patrick CousotRadhia CousotPublished in: Artificial Intelligence and Programming Languages (1977)
Keyphrases
- mathematical foundations
- affine invariant
- optimal solution
- optimal control
- data driven
- neural network
- asymptotically optimal
- computer vision
- optimal design
- knowledge base
- database
- closed form
- image registration
- exhaustive search
- worst case
- image sequences
- three dimensional
- decision making
- artificial intelligence
- data sets