Model Checking for Epistemic and Temporal Properties of Uncertain Agents.

Zining Cao

Browse the full PRIMA paper archive.