News
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)