Satisfiability of Linear Time Mu-Calculus on Finite Traces.

Yao Liu, Zhenhua Duan, Cong Tian, Bin Cui

Browse the full COCOON paper archive.