Lazy TSO Reachability.

Ahmed Bouajjani Georgel Calin Egor Derevenetc Roland Meyer

Published in: CoRR (2015)

Keyphrases

state space
transitive closure
lazy learning
neural network
viewpoint
averaged one dependence estimators
decision making
training data
probabilistic model
first order logic