PICCATA: Programming Interface for effiCient Computations and Approximation on multiplicity Tree Automata .
Piccata is a programming interface for managing multiplicity tree automata, i.e. tree automata with weights. The current version focus on real-valued automata. The model is the one introduced by  . Piccata takes advantage of the vector space structure using existing linear algebra library. The library allows to deal with ranked and unranked trees. Piccata is developed in collaboration with colleagues from the lif in Marseille. The library will also include inference algorithms for weighted tree automata. The dees algorithm  is currently implemented.