Strategies in infinite games: structured reactive programs and transducers over infinite alphabets

Benedikt Brütsch. Strategies in infinite games: structured reactive programs and transducers over infinite alphabets. PhD thesis, RWTH Aachen University, Germany, 2018. [doi]

Abstract

Abstract is missing.