Transition predicate abstraction and fair termination.

Andreas Podelski Andrey Rybalchenko

Published in: ACM Trans. Program. Lang. Syst. (2007)

Keyphrases

high level
term rewriting
state abstraction
genetic algorithm
artificial intelligence
first order logic
data abstraction
multi unit combinatorial auctions
neural network
social networks
knowledge base
image processing
state transitions
decision theoretic planning