Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR).
Johannes BirgmeierAaron R. BradleyGeorg WeissenbacherPublished in: CAV (2014)
Keyphrases
- constructive induction
- model checking
- inductive learning
- program synthesis
- decision theoretic planning
- high level
- data sets
- refinement process
- formal verification
- rule induction
- optimal solution
- artificial intelligence
- inductive logic programming
- low level
- explanation based learning
- active learning
- discovery process
- version space
- concept formation
- data abstraction
- machine learning
- databases
- inductive reasoning
- database
- sequence prediction
- functional programs