In this invited contribution, we propose a comprehensive introduction to game theory applied in computer aided synthesis. In this context, we give some classical results on two-player zero-sum games and then on multi-player non zero-sum games. The simple case of one-player games is strongly related to automata theory on infinite words. All along the article, we focus on general approaches to so...

Progress in optical wireless communication (OWC) has unleashed the potential to transmit data an ultra-fast manner without incurring large investments and bulk infrastructure. OWC includes transmissions three sub-bands; ultraviolet, visible, infrared. This paper discusses installing infrared OWC, known as free space optics (FSO), systems on top of installed radio frequency (RF) networks for out...

Kalmar [2, 1928-9] proved that Chess is strictly determined. Von Neumann-Morgenstern [5, 1944] proved the same for any finite two-person zero-sum perfect-information (PI) game. The latter result yields a minimax theorem for (finite) non-zero-sum PI games. Fix a PI, and a player, Ann. Convert this game to a two-person zero-sum game between Ann and the other players (considered as one player), in...