Applying Predicate Abstraction to Abstract State Machines.

Alessandro Bianchi Sebastiano Pizzutilo Gennaro Vessio

Published in: BMMDS/EMMSAD (2015)

Keyphrases

high level
database
first order logic
real time
databases
data mining
reinforcement learning
video sequences
pattern recognition