Reasoning about online algorithms with weighted automata.

Benjamin Aminof, Orna Kupferman, Robby Lampert

Browse the full SODA paper archive.