• 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)
news.txt · Last modified: 2016/03/04 23:35 by rmayr