MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Trees, Automata, and Games" – 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

The Rabin Index and Chain automata, with applications to automata and games
by Sriram C. Krishnan, Anuj Puri, Robert. K. Brayton, Pravin P. Varaiya — 1995 — In Computer Aided Verification, Proc. 7th Int. Conference, LNCS 939
… with n:h k states. Using a simple correspondence between tree automata (TA) and games, we extend…
Cited by 2 (0 self) – Add To MetaCart

Finite Automata on Timed omega-Trees
by Salvatore La Torre, Margherita Napoli
… of this problem to the reachability and the non-emptiness problem of timed tree automata. These games have been…
Add To MetaCart

Finite Automata on Timed ω-Trees
by Salvatore La Torre, Margherita Napoli — 2001
… of this problem to the reachability and the non-emptiness problem of timed tree automata. These games have been…
Add To MetaCart

Showing 1 through 3.

ATOM

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