IDP-Core: Novel Cooperative Solution for Differential Games

: IDP-core is a new cooperative solution for dynamic and differential games. A novel approach of constructing solutions for dynamic and differential games was employed in which the time consistency property was used as the main axiom property for the cooperative solution. Another new and important approach used for constructing IDP-core is the IDP dominance, which allows to select undominated imputation distribution procedures and construct the cooperative solution or imputation set. This approach shows the potential of using the time consistency property as the main axiom for solutions in various ﬁelds such as Social Choice and Mechanism Design. The overall procedure for deﬁning the cooperative solution is also new since IDP-core was constructed using imputation distribution procedures but not by using imputations directly.


Introduction
The theory of cooperative games examines how optimal parameters of cooperative and strategic agreements are to be determined. The main problem in the theory of cooperative games with transferable utilities is to determine the allocation procedure for total payoff in cases when all players cooperate. The rule of how to allocate cooperative payoff among the players is called the imputation. In the theory of cooperative games with non-transferable utilities, the main problem is to define agreement on strategies or a game outcome favorable to all players.
Within the framework of classical cooperative game theory with transferable utilities, numerous cooperative solutions or allocation rules were studied. One of them is the Core. The concept of Core was proposed by D. Gillis [1], which is a generalization of the contractual Edgeworth curve [2]. Edgeworth described a market with two products and two participantsp; here, the Core is defined as a part of the Pareto front. The Core is the set of undominated imputations, each of which can be used as a solution in the game.
It is important to study the non-emptiness property of a cooperative solution, which is to determine the conditions under which the cooperative solution is not empty since its applicability depends on the wideness of the class of games to which this solution can be applied. G. Scarf [3] showed that the Core is not empty for the class of convex games in characteristic function form. Characteristic function is a function of coalition or subset of players in the game, which shows the profit of coalition. Generalization of Scharf results can be found in the paper of L. Biller [4] and Shapley [5]. Necessary and sufficient conditions for the non-emptiness of Core were formulated by Bondareva [6] and Shapley [7], where the main role of proof is the concept of a balanced game. Unfortunately, based on this concept it is impossible to apply a constructive method for choosing the specific imputations from the Core. V. Zakharov in [8] proposed the necessary and sufficient conditions for the non-emptiness of Core, which simplify the test for a single-point solution (imputation), such as the Shapley value, Banzhaf power index and others, whenever they belong to the Core. In [9,10] based on of this approach, geometric properties for several cooperative solutions were investigated. This approach implies that the non-emptiness property of Core can be formulated by a linear programming problem constructed using the values of the characteristic function.
It is also important to construct cooperative solutions for a class of dynamic and differential games. Solutions for such models can be used for modeling cooperative and strategic agreements where conditions are defined over a long time interval [11,12]. The theory of differential games was developed as a separate class of applied mathematics in the 1950s. One of the first works in the field of differential games is the work of R. Isaacs [13] in which the notions of state, controls, and the problem of aircraft interception by a guided missile were formulated, and a fundamental equation for defining the solution derived. A comprehensive description of dynamic cooperative games is presented in [14].
A natural approach for researching cooperative differential games is an attempt at transferring the results of classical static cooperative theory [15] to the theory of differential games. However, in order to use the results of classical theory, it is additionally necessary to study the time consistency and strong time consistency properties of cooperative solutions. Time consistency of cooperative solution is the property that shows that for the players it is not beneficial to deviate from the chosen cooperative solution during the game. The use of time-inconsistent cooperative solutions in the field of economics, ecology, and management makes these solutions unfeasible because players might find it profitable to reconsider the cooperative solution. The notion of the cooperative solution's time consistency was first formulated mathematically by L.A. Petrosyan in 1977 [16]. In [17] a method was proposed to construct time-consistent cooperative solutions using a special payment scheme, called the imputation distribution procedure (IDP). The notion of strong time consistency was formulated in [18]. Recent papers [19][20][21][22] are devoted to the study of the time consistency property of cooperative solutions.
In order to solve the time inconsistency problem in a classical cooperative solution, an imputation distribution procedure should be used. However, there exists another, rather new approach that allows for constructing time-consistent cooperative solutions. This approach uses the time consistency property as a basic axiomatic property for defining the cooperative solution. This approach is the subject of this paper and carries an innovative character. It is important to notice that the further use of time consistency property for dynamic cooperative games, Social Choice, and Mechanisms Design, as an axiom, is promising. Another important property considered in this paper is the IDP dominance property. According to this property, the corresponding cooperative solution is constructed using the imputation distribution procedures, which are undominated. We say that the IDP is undominated by coalition S if there does not exist another IDP, coalition S, and time instant such that the instant payments corresponding to IDP are higher for players from coalition S at a given time instant than in the current IDP.
In the paper [23] the notion of a strong time-consistent subset of the Core was introduced. Their authors constructed a new cooperative solution using the geometric approach and proved that it was a subset of Core and possesses a strong time consistency property. Later on, this solution was called the IDP-core and it can be constructed using a system of linear constraints for imputation distribution procedures. These conditions are defined for each time instant of a differential game. From the non-emptiness of a set described by these constraints, the non-emptiness of the corresponding set of IDPs at each time instant, it follows that the IDP-core is not empty. In the paper [24] we apply the technique proposed in [8] to study the non-emptiness of IDP-core for each time instant, and if it is non-empty, we conclude that IDP-core is non-empty. Obtained results can be used for the construction of IDP-core and verification of its non-emptiness as a numerical example. Moreover, a special case of this approach is presented for 3-player differential games. It is possible to analytically construct conditions for non-emptiness of IDP-core depending on the characteristic function. Furthermore, it is possible to define an analytical formula for selectors of IDP-core, in particular, the formula for imputation distribution procedures of IDP-core selectors.
The paper is structured as follows. Section 2 contains preliminary information, including the definition of a cooperative solution and time consistency property. Section 3 is devoted to the description of IDP-dominance, to the definition of IDP-core and corresponding necessary and sufficient conditions. Section 4 is devoted to studying the non-emptiness of IDP-core using linear programming methods. Section 5 presents the differential game model of resource extraction, IDP-core for this model is constructed using the corresponding necessary and sufficient conditions, non-emptiness conditions are studied and conclusions are drawn.

Differential Game Model
In this section, the general description of the differential game model is given. The main concepts of this model are the type of model, payoff functions of players, motion equations, and solution concept. Type of the game model reflects what we intend to do with the model, in this paper we consider the cooperative game model. Here we need to define how to allocate joint cooperative payoff among the players. Payoff functions of players define the objectives of players depending on the state of the game, strategies and are calculated on some specific time interval (in our case closed time interval). Motion equations define of how the state of the game changes according to the strategies of players. In the case of the cooperative game model solution concept defines the exact type of imputation set that will be used to allocate joint payoff among the players.
Consider an n-player differential game Γ(x 0 , T − t 0 ) with prescribed duration T − t 0 and initial condition x 0 . Game dynamics are defined by the system of differential equations: for which the conditions of existence, uniqueness and continuity of solution x(t) for any admissible measurable controls u 1 (·), . . . , u n (·) are satisfied. Open-loop control u i (t) satisfying the system (1) is a strategy of player i and compR k is the compact set in k-dimension real number space (k is integer). Let N = {1, . . . , n} be the set of players. Payoff of player i is defined in the following way: where h i (x, u 1 , . . . , u n ) ≥ 0, i = 1, n and f (x, u 1 , . . . , u n ) are integrable functions, x(t) is the solution of system (1) with controls u(t) = (u 1 (t), . . . , u n (t)) involved.

Cooperative Differential Game Model
In the cooperative differential game model with transferable utility there are two problems: 1.
Determination of a strategy set for players which maximizes the sum of their payoffs or determination of strategies corresponding to cooperative behavior. These strategies u * = (u * 1 , . . . , u * n ) are called optimal, the corresponding trajectory is called the cooperative trajectory and denoted by x * (t).

2.
Determination of the allocation rule for the maximum joint payoff of players corresponding to the optimal strategies u * (t) and determination of optimal trajectory x * (t). Namely, the determination of a cooperative solution as a subset of the imputation set.
Let u * = (u * 1 , . . . , u * n ) be the vector of optimal strategies (open-loop controls) for players; i.e., a set of controls that maximizes the joint payoff of players: Suppose that the maximum in (3) is achieved on the set of admissible strategies. In order to determine how to allocate the maximum total payoff among players, it is necessary to define the notion of the characteristic function of coalition S ⊆ N. The characteristic function shows the strength of a coalition and thus allows the contribution of players to each coalition to be taken into account.
Suppose that in the game Γ(x 0 , T − t 0 ) characteristic function V(S; x 0 , T − t 0 ), S ⊆ N is constructed in any relevant way (for example, as in [25]). We assume that the superadditivity conditions are satisfied: By M(x 0 , T − t 0 ) denote an arbitrary cooperative solution or subset of imputation set L(x 0 , T − t 0 ): Suppose that at the beginning of game Γ(x 0 , T − t 0 ) at the instant t 0 , players agreed to select a subset of L(x 0 , T − t 0 ) or some cooperative solution. However, suppose that at some instant t players decided to reconsider the chosen cooperative solution, or decided to reconsider the allocation rule for a cooperative payoff. In order to model their behavior, it is necessary to define the notion of subgame It is also possible to define the notion of imputation ξ(x * (t), The superaditivity property (4) for characteristic function

Core
In cooperative game theory, the main problem is "fair" allocation of the maximum joint payoff V(N; x 0 , T − t 0 ) among the players from grand coalition N = {1, . . . , n}.
Suppose that players in the cooperative differential game Γ(x 0 , [26]. Such an allocation rule is stable in the sense that there not exists imputation that would be better for each coalition at every time instant t ∈ [t 0 , T].

Definition 1.
We call the set of undominated imputations of cooperative differential game Γ(x * (t), T − t) by the Core and denote it by The following theorem holds: , if and only if for all S ⊆ N the following inequalities are satisfied:

Non-Emptiness of Core in Static Games
These are the main results concerning the nonemptiness conditions of Core in static games. Necessary and sufficient conditions for non-emptiness of Core were formulated by O. Bondareva [6] and by L. Shapley [7]. These conditions are based on the concept of a balanced game, but the application of this approach for a specific game model is difficult.
In the paper [27] G. Owen showed that in the game (N, v) exists a non-empty Core, if and only if the optimal value of the linear programming problem The papers [8][9][10] also make use of linear programming problem for Core's non-emptiness. Consider the following linear programming problem: Suppose that ξ 0 = (ξ 0 1 , . . . , ξ 0 n ) is some arbitrary optimal solution of the linear programming problem (6). The set of all optimal solutions of the optimization problem (6) is denoted by X 0 (v). In [8] it is shown that the necessary and sufficient conditions of non-emptiness of Core can be formalized in the following way: Theorem 2. The Core in cooperative game with transferable utility (N, v) is nonempty, if and only if the following inequality is satisfied: where ξ 0 ∈ X 0 (v) is a solution of the linear programming problem (6).

Time-Consistency of Cooperative Solution and Imputation Distribution Procedure
Transferring the results of static cooperative game theory to the field of cooperative differential games brings about the problem of defining the time-consistent cooperative solution. The problem of defining the solution of the differential game with prescribed duration was studied in the papers of L.A. Petrosyan [16,17]. Time consistency of cooperative solution is the property that shows that for the players it is not beneficial to deviate from the chosen cooperative solution during the game.
The main approach for solving the problem of time inconsistency of cooperative solution in the differential game is the imputation distribution procedure, proposed in [17]. In this paper, imputation distribution procedure was defined as a vector function for a fixed imputation. In this paper, we consider another approach that generalizes the notion of IDP.
Assume IDP's in cooperative differential game Γ(x 0 , T − t 0 ) are integrable vector functions that constitute some imputation from the imputation set: Therefore, in the above definition, IDP is not based on the imputation itself but generates it. We define also the so-called corresponding IDP, the concept of which is close to the initial definition of IDP in the paper [17].
, if the following equalities hold: Actually, the corresponding IDP β(t) depends on ξ(x 0 , T − t 0 ) and is not unique for this imputation. We can represent it in the form From (9) we have for t ∈ [t 0 , T], i ∈ N: That is IDP shares at instant t imputations in two parts: payoffs to player i, which are received in interval [t 0 , t] and in interval (t, T].
or equivalently Notice that from condition (10) we have the following equality It is obvious that if M(x * (t), T − t) = ∅ for ∀t ∈ [t 0 , T], then for any differentiable by t function can be defined using the formula: Then imputation ξ(x 0 , T − t 0 ) is defined by the formula: Define an imputation in the current cooperative game Γ(x * (t), T − t) with characteristic function V(S; x * (t), T − t) which corresponds to a given IDP β(t) = β(t, ξ(x 0 , T − t 0 )) as From Definition 3 we have We will call the imputation (14) the dynamic imputation generated by the corresponding IDP β(t) = β(t, ξ(x 0 , T − t 0 )).

IDP-Core and Dominance of Imputation Distribution Procedures
Consider the development of game at instant t ∈ (t 0 , T). Suppose that at instant t 0 players agreed to realize imputation ξ(x 0 , T − t 0 ) = (ξ 1 (x 0 , T − t 0 ), . . . , ξ n (x 0 , T − t 0 )). Then, according to the corresponding IDP β(t), until the instant t, player i ∈ N receives the payoff: However, for some players IDP β(t, ξ(x 0 , T − t 0 )) would not be beneficial if there exists another imputation distrubution procedure β(t, ξ(x 0 , T − t 0 )), according to which player i at interval [t 0 , t] receives more payoff: In such a case IDP β(t) may be considered as less beneficial for the player i at least in interval [t 0 , t]. It is important to notice that the notion of IDP-dominance can be applied to imputation distribution procedures, which are not necessarily defined for a unique imputation. As IDP defines how dynamic imputation is to be constructed then it also makes sense to consider the notion of IDP-dominance not only for a fixed imputation.

Dominance of Imputation Distribution Procedures
In this section we consider the IDP β(t) defined by the formula (8). Suppose that the function V(S; x * (t), T − t), S ⊆ N is continuously differentiable by t ∈ [t 0 , T]. Define the function U(S; x * (t), T − t) in the following way: Definition 5. IDP β(t) is undominated if at any t ∈ [t 0 , T] there does not exist β(t), which dominates β(t) by coalition S ⊆ N:

IDP-Core
In the paper [23] the authors first introduced and treated a subset of the imputation set in a cooperative differential game which was named subcore. This subset was designed using a set of imputation distribution procedures satisfying the system of inequalities and equalities. This approach is not classical for the theory of differential games since it uses IDP's for imputations, not vice versa. Based on this subcore notion, we in the paper [24] redefined this notion for the dynamic case, named it IDP-core, and formulated necessary and sufficient conditions of the existence of IDP-core along the cooperative trajectory of the game. In the current paper, we define a solution concept for IDP-core by introducing the notion of IDP dominance and using the time consistency properties or axioms defined above. It is proved that IDP-core has the necessary and sufficient conditions for a dynamic imputation when defined by the system of inequalities introduced in the paper [23,28].
Necessity. Let imputation ξ(x 0 , T − t 0 ) in the cooperative differential game Γ(x 0 , T − t 0 ) belong to IDP − core(x 0 , T − t 0 ). Therefore by Definition 6 the imputation ξ(x 0 , T − t 0 ) generated by undominated IDP β(t) = β(t, ξ(x 0 , T − t 0 )) belongs to C(x 0 , T − t 0 ) and is time-consistent. Due to Definition 6 the time-consistency of imputation ξ(x 0 , T − t 0 ) means that there exists IDP β(t) such that Let us show that this inclusion takes place for the undominated β(t) = β(t, ξ(x 0 , T − t 0 )) corresponding to imputation ξ(x 0 , T − t 0 ). Suppose this is not the fact. Then there exists coalition S ⊂ N and some instant t ∈ [t 0 , T] such that the following inequality holds Notice that β(t) = β(t, ξ(x 0 , T − t 0 )) belongs to the set of undominated imputations in a cooperative game with the characteristic function U(S; x * (t), T − t), S ⊆ N. Therefore as follows from Theorem 1 for S ⊂ N the following has to be fulfilled Integrating this inequality in interval [t, T] we receive which contradicts (27). Thus the Theorem is proved.
According to the time consistency imputation definition ξ(x 0 , T − t 0 ) is time inconsistent if there does not exist IDP β(t) = β(t, ξ(x 0 , T − t 0 )) such that at any t ∈ [t 0 , T] dynamic imputation ξ(x * (t), T − t) generated by this IDP belongs to core C(x * (t), T − t).

Remark 1.
Proposition 2 states that if the Core is not empty, then IDP-core and Core coincide in the current game or equivalently imputations from the Core coincide with the imputations from the IDP-core. The system of inequalities (21) and (22) allows extracting the subset from the set of imputation distribution procedures which provides time-consistency and IDP-nondominance of imputations from the Core. For other subsets of the IDP set, this kind of result generally speaking is not true. Note also that the set of imputation distribution procedures (21) and (22) can be empty. In the next section consider the approach to check nonemptiness and construction of IDP's from the IDP-core.
Suppose that the characteristic function V(S; x * (t), T − t), t ∈ [t 0 , T] is defined in some relevant way (for example, as in [25]). Suppose that it is a strictly monotonically decreasing function for any t ∈ [t 0 , T], decreasing faster than the linear law. Construct the Core C(x 0 , T − t 0 ) for the initial instant t = t 0 . Afterwards choose imputation from the Core ξ(x 0 , T − t 0 ) ∈ C(x 0 , T − t 0 ). According to the Definition 2 we choose the corresponding imputation distribution procedure β(t) = β(t, ξ(x 0 , T − t 0 )) (IDP) for ξ(x 0 , T − t 0 ) in some relevant way. As it follows from Proposition 2 for the imputations ξ(x 0 , T − t 0 ) ∈ IDP − core(x * (t 0 ), T − t 0 ) = C(x * (t 0 ), T − t 0 ) we can always find IDP β (t) satisfying the conditions (21) and (22) such that: On the other hand β(t) = β(t, ξ(x 0 , T − t 0 )) could not satisfy conditions (21) and (22). It could be the case if β(t) = β(t, ξ(x 0 , T − t 0 )) is chosen in the following way and the derivative of V(S; x * (t), T − t) This case will be demonstrated on the model example in Section 5.
. From the definition of the IDP-core it follows that ξ(x 0 , T − t 0 ) is time-consistent. The Proposition is proved.

Application of Linear Programming Methods for Nonemptiness Properties
In this section, we consider the linear programming problem described in Section 2.4, for the non-emptiness properties of Core. IDP-core can be constructed using a system of linear constraints for the imputation distribution procedures. These constraints are defined for each instant in the game. From the nonemptiness of the set described by these constraints, it follows that the IDP-core is not empty.
Consider the following linear programming problem for a fixed t: Suppose that β 0 i = (β 0 1 , . . . , β 0 n ) is an optimal solution of linear programming problem (31) with fixed t. The set of optimal solutions of problem (31) we denote by Y 0 .
Then the following theorem is true: where β 0 ∈ Y 0 is any solution of the linear programming problem (31).
Proof. Start the proof with the sufficient condition. Suppose that the condition (32) is satisfied, then according to (31) for any t ∈ [t 0 , T] there existsβ 0 such that for conditions (21) and (22) are satisfied for any fixed t ∈ [t 0 , T]. If it is true, then we can compose the integrable functionβ 0 (t) as a function of time, for which the conditions (21) and (22) will be satisfied. Proof of the necessity condition. If the IDP-core is not empty, then there exists at least one integrable function β(t) satisfying the conditions (21) and (22). As a result for the solution of (31) condition (32) should be satisfied.

Differential Game Model of Resource Extraction
Consider a game-theoretical model of non-renewable resource extraction with asymmetric players [29,30]. The amount of resource depends on the rates of extraction which are chosen by the players. The game involves n asymmetric players, with utility functions depending on the current amount of resource and rates of extraction.
Denote by x(t) ∈ R 1 the amount of resource at instant t and by u i (t, x) resource extraction rate chosen by player i at instant t. As a class of strategies we will consider a class of feedback strategies, where the strategies are the functions of time t and state x. We assume that ∀t, u i (t, x) ≥ 0, and x(t) = 0 implies u i (t, x) = 0. The amount of the resource x(t) as a function of t depends in the following way Payoff function representing the income of player i:

Cooperative Strategies and Cooperative Trajectory
Consider the cooperative version of a non-renewable resource extraction game [30]. Here, players unite in a grand coalition and maximize total utility, acting as one player. The corresponding optimal control problem is formalized in the following way: To solve the optimization problem (36) and (37), we use the dynamic programming principle proposed by Bellman. To do this we define the Bellman function as the maximum value of the total payoff of players (35) in the subgame Γ(x, T − t) starting at the instant t in the position x: subject to Equation (37), when x 0 = x and t 0 = t.
It is proved that if there exists a continuously differentiable function W(t, x) that satisfies the Hamilton-Jacobi-Bellman equation then strategies u * i (t, x) defined by maximizing the right hand side (39) deliver the maximum to the functional in the optimization problem (36) and (37).
From the first order extremum condition of (39), we obtain: then substituting to (39): We will consider a Bellman function as a function of the form: then, by substituting in (40), we obtain: The solution of (41) are the functions: By substituting A(t) and B(t) into the Bellman function we obtain: The corresponding form of optimal control or cooperative strategy: , t ∈ [t 0 , T).
Substituting the optimal control into the motion Equation (37), we obtain the differential equation for the trajectory corresponding to the optimal control: The solution has the form: Trajectory x * (t) and strategy (control) u * (t, x) we will call cooperative. In order to determine the value of players' maximum total payoff that corresponds to the optimization problem (36) and (37) in the subgame along the cooperative trajectory x * (t) (46), it is necessary to substitute the expression for the cooperative trajectory by the expression for the Bellman function (43):

Characteristic Function
To construct the rule for allocating the maximum joint payoff among players, it is necessary to define the characteristic function for each coalition S ⊆ N: where W S (t, x) is defined as the maximum joint payoff of coalition S given that the players from coalition N\S use strategies from a fixed Nash equilibrium u NE = u NE 1 , . . . , u NE n in the initial game. It can be shown that in the case of a non-cooperative game, Nash equilibrium strategies are Consider a case of coalition S ⊂ N. We introduce the Bellman function W S (t, x), as the maximum total payoff of players from coalition S in the subgame Γ(x, T − t) starting at the instant t in the position x: The Hamilton-Jacobi-Bellman equation for this problem has the form: From the first order extremum condition for (53) we obtain substitute in (53): where k = |S|, n = |N|. Consider the following form of the Bellman function: then by substituting in (55) we obtain: The solution of (56) are the functions: Solution of the optimization problem (50): According to the definition, we obtain the characteristic function for the coalition S = N: In order to determine the way to allocate the maximum joint payoff of players (47) among them along the cooperative trajectory x * (t) (46), namely, for the subgame starting at the instant t on the cooperative trajectory x * (t) (46) it is necessary to define the characteristic function along the cooperative trajectory. Let us substitute the expression for x * (t) (46) into the expression for characteristic function V(S, T − t, x), S ⊂ N (58).
For the case when S = N, the characteristic function is calculated in accordance with (47).

IDP-Core
Suppose that all players unite in grand coalition N, then they can guarantee themselves joint payoff equal to V(N; x * (t), T − t). In order to determine how to allocate the maximum joint payoff among players, we use the notion of imputations ξ(x, T − t). In particular, we will use IDP-core as a cooperative solution in the game. According to Theorem 3, IDP-core can be constructed using the conditions for IDP's β i (t), i ∈ N:

Non-Emptiness of IDP-Core
In order to study non-emptiness conditions we solve the linear programming problem, as presented in the paper [24], for t ∈ [t 0 , T] with a fixed step ∆t. As a result, the vector function β 0 = (β 0 1 , . . . , β 0 n ) is obtained using the numerical methods and corresponding conditions are to be verified in order for the IDP-core to be non-empty: We construct IDPβ 0 (t) using β 0 (t) and show that it satisfies the conditions (25):

Core and IDP-Core
According to the Theorem 3, the imputation that corresponds to the IDPβ 0 (t) belongs to the Core C(x 0 , T − t 0 ) because, for given parameters IDPβ 0 (t), t ∈ [t 0 , T] satisfies conditions (21) and (22) or ξ(x 0 , T − t 0 ) belongs to IDP − core(x 0 , T − t 0 ). But if we use the Core C(x 0 , T − t 0 ) instead of IDP − core(x 0 , T − t 0 ) as a cooperative solution in the game, then we can use any IDP for the imputation (63), such as β(t) = c = const, t ∈ [t 0 , t ), t ∈ (t 0 , T) , but this does not necessarily satisfy conditions (21) and (22) at some instant and therefore it appears not to be undominated and corresponding to this IDP imputation ξ(x 0 , T − t 0 ) is time-inconsistent. On Figure 1 the set defined by the system of constrains (25) shown, the solid line is the solution β 0 (t) of corresponding linear programming problem (31) as a function of time, the dashed line is IDP β 0 (t) and IDP β(t) (64) corresponding to the imputation (63). Functionβ 0 i (t) satisfies the constrains (25). It can be seen that the IDP-core in this game model is not empty and conditions (32) of Theorem 4 are satisfied.

Conclusions
This paper examines a new approach for defining a cooperative solution for differential games. Our approach uses the time consistency property as a basic axiom for constructing the cooperative solution. It is important to notice that the further use of the time consistency property as the axiom for the theory of dynamic cooperative games, the theory of social choice, and mechanism design is promising. The approach also defines the notion of IDP-dominance, which allows for selecting undominated imputation distribution procedures. Properties of time consistency and IDP-dominance are the key properties for constructing a new cooperative solution, namely IDP-core. The necessary and sufficient conditions for the IDP-core defining geometric properties of this solution are presented. It is also proved that the set of imputations that corresponds to the Core and to IDP-core coincides, but, as the simulation demonstrates, the IDPs that would be naturally proposed for use sometimes might not appear to be undominated and therefore lead to the time inconsistency of the corresponding imputations they generate.