Hernadez C, Naldi A, Thomas-Chollier M, Thieffry D.  Submitted.  Computational verification of large logical models - application to  the prediction of T cell response to checkpoint inhibitors.