trees cost register automata XML complexity logic VASS counter machines CFL infinite words games population protocols markov decision processes stochastic processes reachability continuity petri nets separation pushdown automata context-free grammars automata temporal logic descriptional complexity timed automata weighted automata