We study Recursive Concurrent Stochastic Games (RCSGs), extending our recent analysis of recursive simple stochastic games [14, 15] to a concurrent setting where the two players choose moves simultaneously and independently at each state. For multi-exit games, our earlier work already showed undecidability for basic questions like termination, thus we focus on the important case of single-exit ...

Automated methods for an undecidable class of verification problems cannot be complete (terminate for every correct program). We therefore consider a new kind of quality measure for such methods, which is completeness relative to a (powerful but unrealistic) oraclebased method. More precisely, we ask whether an often implemented method known as “software model checking with abstraction refineme...

In this paper, first a short history of the notion of equilibrium problem in Economics and Nash$acute{'}$ game theory is stated. Also the relationship between equilibrium problem among important mathematical problems like optimization problem, nonlinear programming, variational inequality problem, fixed point problem and complementarity problem is given. The concept of generalized pseudomonoton...

a r t i c l e i n f o The classic multiple-criteria decision making (MCDM) model assumes that, when taking a decision, the decision maker has defined a fixed set of criteria and is presented with a clear picture of all available alternatives. The task then reduces to computing the score of each alternative, thus producing a ranking, and choosing the one that maximizes this value. However, most ...

The result of simulation of an idealized thin wet film connecting fixed points in the Euclidean plane is a length-minimizing curve. Gradually increasing the exterior pressure we are able to achieve the film configuration near to the Steiner minimal tree. This film evolution may be an interesting tool for solving the Euclidean Steiner problem, but several dead-point situations may occur for a ce...

We examine whether cubic nonlinearities, allowed by symmetry in the elastic energy of a contact line, may result in a different universality class at depinning. Standard linear elasticity predicts a roughness exponent zeta = 1/3 (one loop), zeta = 0.388 +/- 0.002 (numerics) while experiments give zeta approximately = 0.5. Within functional renormalization group methods we find that a nonlocal K...

The unsteady (nonautonomous) analog of a hyperbolic fixed point is a hyperbolic trajectory, whose importance is underscored by its attached stable and unstable manifolds, which have relevance in fluid flow barriers, chaotic basin boundaries, and the long-term behavior of the system. We develop a method for obtaining the unsteady control velocity which forces a hyperbolic trajectory to follow a ...

We apply the renormalisation-group to two-body scattering by a combination of known long-range and unknown short-range forces. A crucial feature is that the low-energy effective theory is regulated by applying a cut-off in the basis of distorted waves for the long range potential. We illustrate the method by applying it to scattering in the presence of a repulsive 1/r2 potential. We find a triv...