Similar Items: Learning Tree Automata with Term Rewriting
- SMT-Based Active Learning of Weighted Automata
- Decomposition of Automata recognizing Ideals
- Hyper-Minimization for Deterministic Register Automata
- A Theory of Hanoi Omega-Automata and Games
- Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
- Measure Many Quantum Finite Automata on Infinite Words