MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Alternating timed automata." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Alternating timed automata
by Slawomir Lasota, Igor Walukiewicz — 2005 — In Proceedings of FOSSACS 05, LNCS 3441
… Alternating Timed Automata ? Slawomir Lasota1?? and Igor Walukiewicz2 1 Institute…
Cited by 12 (1 self) – Add To MetaCart

Controller synthesis for MTL specifications
by Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier — 2006 — In Proc. 17th International Conference on Concurrency Theory (CONCUR’06
…, (S ∗ , � ∗ ) is a bqo. 4. If (S, �) is bqo, (2 S , ⊑) is a bqo. 4.2 Alternating Timed Automata…
Cited by 2 (1 self) – Add To MetaCart

LTL with the freeze quantifier and register automata
by Stéphane Demri — 2006 — In LICS’06
… as the translation from one-way alternating timed automata to faulty channel machines in [24]. For the next main…
Cited by 14 (3 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB