Antti E. J. Hyvärinen, Leonardo Alt, Natasha Sharygina. Flexible Interpolation for Efficient Model Checking. In Jan Kofron, Tomás Vojnar, editors, Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers. Volume 9548 of Lecture Notes in Computer Science, pages 11-22, Springer, 2015. [doi]
Abstract is missing.