Towards Complete Reasoning about Axiomatic Specifications.

Swen Jacobs Viktor Kuncak

Published in: VMCAI (2011)

Keyphrases

neural network
mobile robot
programming language
decision theory
spatial reasoning
qualitative reasoning
delay insensitive
databases
computer vision
decision trees
complete axiomatization