Benjamin Aminof Orna Kupferman Robby Lampert Reasoning about online algorithms with weighted automata. 835-844 2009 SODA http://doi.acm.org/10.1145/1496770.1496861 conf/soda/2009 db/conf/soda/soda2009.html#AminofKL09