Talk:Alternating tree automata

From WikiProjectMed
Jump to navigation Jump to search

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.