MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Alternating Automata on Infinite Trees." – sorted by Relevance.

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

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

28 documents found, showing 1 through 10. Next 10 →

ATOM

Automata-Theoretic Techniques for Temporal Reasoning
by Moshe Y. Vardi — 2006 — In Handbook of Modal Logic
… . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.5 Alternating Automata on Infinite Trees…
Cited by 1 (0 self) – Add To MetaCart

The Finite Graph Problem for Two-Way Alternating Automata
by Mikolaj Bojanczyk — 2001 — IN FOSSACS 2001, VOLUME 2030 OF LNCS
…, Wydzia MIM, Banacha 2, Warszawa, Polska Abstract Two-way alternating automata on innite trees were…
Cited by 2 (1 self) – Add To MetaCart

Reasoning about The Past with Two-Way Automata
by Moshe Y. Vardi — 1998
….2 Alternating Tree Automata For an introduction to the theory of automata on infinite trees see [42…
Cited by 82 (11 self) – Add To MetaCart

Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees
by Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini — 1999 — In Proc. of the 16th Int. Joint Conf. on Artificial Intelligence (IJCAI’99
… based on a reduction to nonemptiness of alternating automata on infinite trees. We observe…
Cited by 41 (11 self) – Add To MetaCart

3# ISO#IEC 13818-2 MPEG-2. Information technology - generic coding of moving pictures and associated audio information: video
by Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshey. Vardi — 2006 — ICALP 2006. LNCS
… acceptance condition. Intuitively, these automata generalize alternating automata on infinite trees in a…
Cited by 5 (3 self) – Add To MetaCart

Alternating automata: Checking truth and validity for temporal logics
by Moshe Y. Vardi — 1997 — Proc. 14th Int. Conf. Automated Deduction (CADE'97
…Büchi tree automata is decidable in quadratic time. 2.5 Alternating Automata on Infinite Trees An alternating…
Cited by 5 (0 self) – Add To MetaCart

An automata-theoretic approach to reasoning about infinite-state systems
by Orna Kupferman, Moshe Y. Vardi — 2000 — LNCS
… . Alternating automata on infinite trees generalize nondeterministic tree automata and were first introduced…
Cited by 28 (4 self) – Add To MetaCart

Alternating Automata and Program Verification
by Moshe Y. Vardi — 1995 — In Computer Science Today. LNCS 1000
… B uchi tree automata is decidable in quadratic time. 2.5 Alternating Automata on Infinite Trees…
Cited by 15 (1 self) – Add To MetaCart

Global model-checking of infinite-state systems
by Nir Piterman, Moshe Y. Vardi — 2004 — in: Proc. 16th International Conference on Computer Aided Verification, CAV’04, in: LNCS
… of states of . Alternating automata on infinite trees generalize nondeterministic tree automata and were…
Cited by 2 (0 self) – Add To MetaCart

unknown title
by Maurizio Lenzerini
…,degiacomo,lenzerinig@(email omitted); Abstract In this paper we demonstrate that two-way alternating automata on infinite trees (2…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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