Talk:Alternating tree automata
Add topicLatest comment: 15 years ago by Tijfo098 in topic Untitled
 | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Untitled
[edit]Seems related to CTL* ] and modal μ-calculus . Tijfo098 (talk) 08:51, 29 April 2011 (UTC)
- There are many variety of alternating automata. I started this page to eventually create a list of these automata and their comparisons.