Formal Analysis of Online Algorithms.

Benjamin Aminof Orna Kupferman Robby Lampert

Published in: ATVA (2011)

Keyphrases

formal analysis
online algorithms
online learning
learning algorithm
lower bound
competitive ratio
average case
formal methods
worst case
agent model
asymptotically optimal
ban logic
expert systems
semi supervised