Model Checking Pushdown Epistemic Game Structures.

Taolue Chen, Fu Song, Zhilin Wu

Browse the full ICFEM paper archive.