Ricardo Almeida, Lukas Holik, Richard Mayr. Reduction of Nondeterministic Tree Automata. TACAS 2016, LNCS 9636. Eindhoven, The Netherlands. 2016.
Our paper “Advanced Automata Minimization” is accepted at
. For an extended version see
Technical report EDI-INF-RR-1414
Our paper “Advanced Ramsey-based Buchi Automata Inclusion Testing” is accepted to
news.txt · Last modified: 2016/03/04 23:35 by rmayr
Except where otherwise noted, content on this wiki is licensed under the following license:
GNU Free Documentation License 1.3