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