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