An Inference Algorithm for Guaranteeing Safe Destruction.

Manuel Montenegro, Ricardo Pea-Mar, Clara Segura

Browse the full LOPSTR paper archive.