A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy.

Doron Bustan Orna Kupferman Moshe Y. Vardi

Published in: STACS (2004)

Keyphrases

transition systems
neural network
hierarchical structure
social networks
machine learning
genetic algorithm
website
random walk
user defined
automated deduction