Similar Items: Minimisation of Multiplicity Tree Automata
- On the Complexity of Equivalence and Minimisation for Q-weighted Automata
- Pushing for weighted tree automata
- Visibly Tree Automata with Memory and Constraints
- Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
- Discounted-Sum Automata with Multiple Discount Factors
- Alternating register automata on finite words and trees