A complete tableau procedure for risk analysis.

Matteo Cristani, Erisa Karafili, Luca Vigan

Browse the full CRiSIS paper archive.