Abstraction Refinement via Inductive Learning
Abstract elided by the publisher.
Related papers
- Abstraction Refinement-Guided Program Synthesis for Robot Learning from Demonstrations OOPSLA 2025
- A - tt IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking CAV 2026
- Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) CAV 2014
- Decision Tree Learning in CEGIS-Based Termination Analysis CAV 2021
- An inductive synthesis framework for verifiable reinforcement learning PLDI 2019
- Automata Learning with Automated Alphabet Abstraction Refinement VMCAI 2011
- Verification of high-level transformations with inductive refinement types GPCE 2018
- SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques CAV 2002