Publications

Tool Support

libvata: a highly optimised non-deterministic finite tree automata library

heavy-minotaut: an additional libvata module for reducing the size of nondeterministic tree automata.

People

Parosh Aziz AbdullaLukas HolikOndra LengalJiri SimacekTomas Vojnar

Related Resources