Formal Analysis of Online Algorithms

DOI10.1007/978-3-642-24372-1_16zbMath1348.68298OpenAlexW46711333MaRDI QIDQ3172916

Benjamin Aminof, Robby Lampert, Orna Kupferman

Publication date: 7 October 2011

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-24372-1_16

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Online algorithms; streaming algorithms (68W27)

Related Items (4)

Stochastization of Weighted Automata ⋮ Learning Weighted Automata ⋮ Learning weighted automata over principal ideal domains ⋮ Generalization bounds for learning weighted automata

This page was built for publication: Formal Analysis of Online Algorithms