Proving Program Properties Specified with Subtype Marks.

Published in: IFL (2006)

Keyphrases

desirable properties
computer vision
control program
search algorithm
computer programs
artificial intelligence
image processing
reinforcement learning
multi agent
structural properties
static analysis