Adaptive interpolation-based model checking ASP-DAC 2014 2014 Authors: Chien-Yu Lai, Cheng-Yin Wu, Chung-Yang (Ric) Huang
