1 paper
Bernd Finkbeiner, Paul Gölz
Most approaches to the synthesis of reactive systems study the problem in terms of a two-player game with complete observation. In many applications, however, the system's environm…