Ricardo Almeida, Lukas Holik, Richard Mayr. Reduction of Nondeterministic Tree Automata. TACAS 2016, LNCS 9636. Eindhoven, The Netherlands. 2016. Arxiv.

Our paper “Advanced Automata Minimization” is accepted at POPL 2013. For an extended version see Technical report EDI-INF-RR-1414. (2012/10/29)

Our paper “Advanced Ramsey-based Buchi Automata Inclusion Testing” is accepted to CONCUR. (2011/5/30)