Jump to content

Talk:Alternating tree automata

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Seems related to CTL* [1]] and modal μ-calculus [2]. Tijfo098 (talk) 08:51, 29 April 2011 (UTC)[reply]

There are many variety of alternating automata. I started this page to eventually create a list of these automata and their comparisons.