1. Weak cost register automata are still powerful;Almagor,2018
2. Max and sum semantics for alternating weighted automata;Almagor,2011
3. Reasoning about online algorithms with weighted automata;Aminof;ACM Trans. Algorithms,2010
4. An improved algorithm for discounted payoff games;Andersson,2006
5. Probabilistic automata over infinite words: expressiveness, efficiency, and decidability;Baier,2006