Yao Liu

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 2

Top Topics

Recursive Algorithm

Minimum Mean Square Error

Proof Procedure

Top Venues

Publications

Yao Liu, Zhenhua Duan, Cong Tian
A Decision Procedure for a Fragment of Linear Time Mu-Calculus. IJCAI (2016)
Yao Liu, Zhenhua Duan, Cong Tian, Bin Cui
Satisfiability of Linear Time Mu-Calculus on Finite Traces. COCOON (2016)
Yao Liu, Zhenhua Duan, Cong Tian
An Improved Decision Procedure for Linear Time Mu-Calculus. CoRR (2015)
Yao Liu, Zhenhua Duan, Cong Tian
An Improved Recursive Algorithm for Parity Games. TASE (2014)
Yao Liu, Zhenhua Duan, Cong Tian, Bo Liu
Present-Future Form of Linear Time $$\mu $$ -Calculus. SOFL+MSVL (2013)