We study two-player zero-sum turn-based games on graphs, a framework of choice in
theoretical computer science. Such games model the possibly infinite interaction between a …

A reactive system is a system that continuously interacts with its environment. The
environment provides an input signal, to which the system reacts with an output signal, and …

In the classical setting, the set of signals available to the machine is assumed to be finite.
However, this assumption is not realistic for modelling systems that process data from a …