Reducing Sequential Diagnosis Costs by Modifying Reiter's Hitting Set Tree.

Patrick Rodler, Manuel Herold

Browse the full SAFEProcess paper archive.