Yao Liu

According to our database, Yao Liu authored at least 5 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

A Decision Procedure for a Fragment of Linear Time Mu-Calculus.

Yao Liu, Zhenhua Duan, Cong Tian

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Satisfiability of Linear Time Mu-Calculus on Finite Traces.

Yao Liu, Zhenhua Duan, Cong Tian, Bin Cui

Proceedings of the Computing and Combinatorics - 22nd International Conference, 2016

2015

An Improved Decision Procedure for Linear Time Mu-Calculus.

Yao Liu, Zhenhua Duan, Cong Tian

CoRR, 2015

2014

An Improved Recursive Algorithm for Parity Games.

Yao Liu, Zhenhua Duan, Cong Tian

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

2013

Present-Future Form of Linear Time $$\mu $$ -Calculus.

Yao Liu, Zhenhua Duan, Cong Tian, Bo Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2013