attempt to increase its availability. This is often called ``surveillance testing.`` There is a finite probability that tested … the reduction in unavailability gained by a surveillance testing and the increase in unavailability incurred by … surveillance testing errors. In this paper, a mathematical model of the effect of errors made during surveillance testing on …

We consider the "and" communication mechanism that inputs messages from two players and outputs the public signal "yes …