Jump to content

Talk:Alternating tree automata

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is the current revision of this page, as edited by Qwerfjkl (bot) (talk | contribs) at 05:59, 27 July 2023 (Adding {{WikiProject banner shell}}; automatically assessed class as Stub; automatically added WikiProject(s): {{WikiProject Science}} (Task 19)). The present address (URL) is a permanent link to this version.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Alternating_tree_automata&oldid=1167348064"