Alessandro Cimatti, Marco Roveri. Conformant Planning via Model Checking. In Susanne Biundo, Maria Fox, editors, Recent Advances in AI Planning, 5th European Conference on Planning, ECP 99, Durham, UK, September 8-10, 1999, Proceedings. Volume 1809 of Lecture Notes in Computer Science, pages 21-34, Springer, 1999.
Abstract is missing.