History Determinism vs. Good for Gameness in Quantitative Automata

Udi Boker, Karoliina Lehtinen. History Determinism vs. Good for Gameness in Quantitative Automata. In Mikolaj Bojanczyk, Chandra Chekuri, editors, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021, December 15-17, 2021, Virtual Conference. Volume 213 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Abstract

Abstract is missing.