Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space.
Mikhail Y. R. GadelhaFelipe R. MonteiroEnrico SteffinlongoLucas C. CordeiroDenis A. NicolePublished in: CoRR (2019)
Keyphrases
- state space
- reinforcement learning
- learning algorithm
- inductive inference
- learning process
- prior knowledge
- supervised learning
- explanation based learning
- inductive learning
- learning tasks
- dynamical systems
- learning systems
- background knowledge
- knowledge acquisition
- data sets
- active learning
- multi agent
- machine learning