Symbolic Model Checking for Alternating Projection Temporal Logic.

Haiyang Wang, Zhenhua Duan, Cong Tian

Browse the full COCOA paper archive.