Transition Invariants and Transition Predicate Abstraction for Program Termination.

Andreas Podelski Andrey Rybalchenko

Published in: TACAS (2011)

Keyphrases

neural network
video sequences
transition model
real time
real world
machine learning
information retrieval
information systems
search algorithm