X. Huang and M. Kwiatkowska, “Reasoning about Cognitive Trust in Stochastic Multiagent Systems”, AAAI, vol. 31, no. 1, Feb. 2017.