In this paper we put forward a simple game-theoretical model of pollution control, where each country is in control of its own pollution, while the environmental effects of policies do not stop at country borders. In our noncooperative differential game, countries as players minimize the present...

In this paper we put forward a simple game-theoretical model of pollution control, where each country is in control of its own pollution, while the environmental effects of policies do not stop at country borders. In our noncooperative differential game, countries as players minimize the present...

This paper studies the synthesis of controllers for cyber-physical systems (CPSs) that are required to carry out complex time-sensitive tasks in the presence of an adversary. The time-sensitive task is specified as a formula in the metric interval temporal logic (MITL). CPSs that operate in...