Weak Alternating Timed Automata

Prelegent(ci)

Paweł Parys (joint work with Igor Walukiewicz)

Afiliacja

Uniwersytet Warszawski

Termin

25 marca 2009 14:15

Pokój

p. 5870

Seminarium

Seminarium „Teoria automatów”

---

Alternating timed automata on infinite words are considered. The main result is the characterization of acceptance conditions for which the emptiness problem for the automata is decidable. This result implies new decidability results for fragments of timed temporal logics. It is also shown that, unlike for some logics, the characterisation remains the same even if no punctual constrains are allowed.

---