Alternating timed automata. (English) Zbl 1367.68172
MSC:
68Q45 | Formal languages and automata |
68Q17 | Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) |
68Q25 | Analysis of algorithms and problem complexity |