Author:
Hella Lauri,Kuusisto Antti,Rönnholm Raine
Funder
Academy of Finland
Jenny and Antti Wihuri Foundation
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference36 articles.
1. On closure ordinals for the modal mu-calculus;Afshari,2013
2. Finitary fairness;Alur;ACM Trans. Program. Lang. Syst.,1998
3. First-cycle games;Aminof;Inf. Comput.,2017
4. Permissive strategies: from parity games to safety games;Bernet;RAIRO Theor. Inform. Appl.,2002
5. Symbolic model checking without BDDs;Biere,1999