Similar Items: Weak Alternating Timed Automata
- Reachability Problem for Weak Multi-Pushdown Automata
- Alternating, private alternating, and quantum alternating realtime automata
- Alternating register automata on finite words and trees
- Stochastic Timed Automata
- A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
- Sampled Semantics of Timed Automata