2016
A Decision Procedure for a Fragment of Linear Time Mu-Calculus.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Satisfiability of Linear Time Mu-Calculus on Finite Traces.
Proceedings of the Computing and Combinatorics - 22nd International Conference, 2016

2015
An Improved Decision Procedure for Linear Time Mu-Calculus.
CoRR, 2015

2014
An Improved Recursive Algorithm for Parity Games.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

2013
Present-Future Form of Linear Time $$\mu $$ -Calculus.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2013