games trees neural networks weighted automata temporal logic cost register automata stochastic processes circuits timed automata counter machines Markov chains networks reachability algebra Skolem problem petri nets descriptional complexity VASS pushdown automata separation continuity automata logic infinite words context-free grammars complexity graphs markov decision processes XML transducers population protocols CFL