Similar Items: Weighted omega-Restricted One Counter Automata
- Regular Separability of One Counter Automata
- Model Checking Flat Freeze LTL on One-Counter Automata
- Good-for-games $omega$-Pushdown Automata
- Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique
- Shortest paths in one-counter systems
- Simulation Problems Over One-Counter Nets