×
Lasota, Slawomir; Walukiewicz, Igor

Alternating timed automata. (English) Zbl 1367.68172

ACM Trans. Comput. Log. 9, No. 2, Article No. 10, 27 p. (2008).

Cited in 16 Documents

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

Keywords:

alternation; emptiness problem; timed automata
Cite Review PDF
Full Text: DOI HAL