EPR-based k-induction with Counterexample Guided Abstraction Refinement.
Zurab KhasidashviliKonstantin KorovinDmitry TsarkovPublished in: GCAI (2015)
Keyphrases
- model checking
- high level
- constructive induction
- machine learning
- program synthesis
- inductive learning
- information systems
- oblique decision trees
- concept formation
- formal verification
- subgroup discovery
- inductive logic programming
- search engine
- learning algorithm
- rule induction
- relational databases
- reinforcement learning
- data sets
- multimedia
- inductive reasoning
- knowledge base