Token Games and History-Deterministic Quantitative Automata.

Udi Boker, Karoliina Lehtinen

Browse the full FOSSACS paper archive.