Thorsten J. Ottosen, Finn Verner Jensen. Better Safe than Sorry - Optimal Troubleshooting through A* Search with Efficiency-based Pruning. In Anders Holst, Per Kreuger, Peter Funk, editors, Tenth Scandinavian Conference on Artificial Intelligence, SCAI 2008, Stockholm, Sweden, May 26-28, 2008. Volume 173 of Frontiers in Artificial Intelligence and Applications, pages 92-97, IOS Press, 2008. [doi]
Abstract is missing.