QBF-Based Symbolic Model Checking for Knowledge and Time.

Conghua Zhou, Zhenyu Chen, Zhihong Tao

Browse the full TAMC paper archive.