Abstract:
Our aim is to study reductive finite state systems (e.g. communication networks, banking systems, airtraffic control systems) by means of game-theoretic methods. A reactive system acts upon the inputs from environment by changing its states. The goal of the system is to satisfy given specifications no matter how environment behaves. We model this situation using games played on finite graphs first introduced by McNaughton [6].