Lazy TSO Reachability.

Ahmed Bouajjani Georgel Calin Egor Derevenetc Roland Meyer

Published in: FASE (2015)

Keyphrases

state space
lazy learning
transitive closure
databases
machine learning
decision making
data structure
natural language
knowledge acquisition