Similar Items: Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
- Improving Reachability in Vector Addition Systems through Pumpability
- Decomposition of Automata recognizing Ideals
- Hyper-Minimization for Deterministic Register Automata
- Learning Tree Automata with Term Rewriting
- Entropy of pebble automata and space complexity
- On the Simulation Cost of Quantum Finite Automata