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
An Improved Decision Procedure for Linear Time Mu-Calculus.
CoRR, 2015
An Improved Recursive Algorithm for Parity Games.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014
Present-Future Form of Linear Time $$\mu $$ -Calculus.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2013