StaticHS: A Variant of Reiter's Hitting Set Tree for Efficient Sequential Diagnosis.

Patrick Rodler, Manuel Herold

Browse the full SoCS paper archive.