Similar Items: Hyper-Minimization for Deterministic Register Automata
- Active Inference of Extended Finite State Machine Models with Registers and Guards
- Decomposition of Automata recognizing Ideals
- Learning Tree Automata with Term Rewriting
- A Theory of Hanoi Omega-Automata and Games
- SMT-Based Active Learning of Weighted Automata
- Minimum Reachability Probabilities in Rectangular Automata with Random Clocks