Similar Items: Active Inference of Extended Finite State Machine Models with Registers and Guards
- Hyper-Minimization for Deterministic Register Automata
- Visualising CTL Witnesses and Counterexamples -- Extended Version
- Hamming distance between finite transducers
- On the Simulation Cost of Quantum Finite Automata
- Measure Many Quantum Finite Automata on Infinite Words
- SMT-Based Active Learning of Weighted Automata