Karimi, N.; Kaski, P.; Koivisto, M. Error-Correcting and Verifiable Parallel Inference in Graphical Models. AAAI 2020, 34, 10194-10201.