Skip to content

Max and Sum Semantics for Alternating Weighted Automata.

Shaull Almagor, Orna Kupferman

VenueBATVA
Year2011
ProceedingsATVA

Browse the full ATVA paper archive.