Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann. Adapting an AI Planning Heuristic for Directed Model Checking. In Antti Valmari, editor, Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings. Volume 3925 of Lecture Notes in Computer Science, pages 35-52, Springer, 2006. [doi]
Abstract is missing.