A Hybrid of Counterexample-Based and Proof-Based Abstraction.

Nina Amla Kenneth L. McMillan

Published in: FMCAD (2004)

Keyphrases

high level
hybrid learning
neural network
model checking
theorem prover
hybrid approaches
database
databases
machine learning
learning algorithm
multi agent
hidden markov models
theorem proving
decision theoretic planning