N. Karimi, P. Kaski, and M. Koivisto, “Error-Correcting and Verifiable Parallel Inference in Graphical Models”, AAAI, vol. 34, no. 06, pp. 10194-10201, Apr. 2020.