Results 31 to 40 of about 3,473 (262)
Differential Games for an Infinite 2-Systems of Differential Equations
Mathematics, 2021 A pursuit differential game described by an infinite system of 2-systems is studied in Hilbert space l2. Geometric constraints are imposed on control parameters of pursuer and evader.
Muminjon Tukhtasinov +3 more
doaj +1 more source
CoRR, 2022 This work extends the present author's computational game semantics of Martin-Löf type theory to the cumulative hierarchy of universes. This extension completes game semantics of all standard types of Martin-Löf type theory for the first time in the 30 years history of modern game semantics.
openaire +2 more sources
Mathematics, 2023 The present paper is devoted to studying a pursuit differential game described by an infinite system of binary differential equations in Hilbert space l2. The control parameters of the players are subject to geometric constraints.
Gafurjan Ibragimov +3 more
doaj +1 more source
The Game Semantics of Game Theory
, 2023 We use a reformulation of compositional game theory to reunite game theory with game semantics, by viewing an open game as the System and its choice of contexts as the Environment. Specifically, the system is jointly controlled by $n \geq 0$ noncooperative players, each independently optimising a real-valued payoff.
openaire +2 more sources
Pursuit Differential Game with Slow Pursuers on the 1-Skeleton Graph of the Icosahedron
Mathematics, 2022 A differential game of m, 3≤m≤6, pursuers and one evader is studied on an icosahedron in R3. All the players move only along the 1-skeleton graph of the icosahedron when the maximal speeds of the pursuers are less than the speed of the evader. Pursuit is
Gafurjan Ibragimov +3 more
doaj +1 more source
MATEC Web of Conferences, 2018 Game-theoretical interpretation of logical semantics has been first suggested in 1950s. Although it is well know among professionals, it is often excluded from introductory courses in logic.
Glivická Jana
doaj +1 more source
Popularity of Video Games and Collective Memory
Entropy, 2022 Describing the permanence of cultural objects is an important step in understanding societal trends. A relatively novel cultural object is the video game, which is an interactive media, that is, the player is an active contributor to the overall ...
Leonardo O. Mendes +2 more
doaj +1 more source
Disentangling Parallelism and Interference in Game Semantics [PDF]
Logical Methods in Computer ScienceGame semantics is a denotational semantics presenting compositionally the computational behaviour of various kinds of effectful programs. One of its celebrated achievement is to have obtained full abstraction results for programming languages with a ...
Simon Castellan, Pierre Clairambault
doaj +1 more source
Optimal Pursuit Game of Two Pursuers and One Evader with the Grönwall-Type Constraints on Controls
Mathematics, 2023 We studied a simple motion differential game of two pursuers and one evader in R2. The control functions of players are subjected to the Grönwall-type constraints.
Gafurjan Ibragimov +2 more
doaj +1 more source
Mathematics, 2022 We study a differential evasion game of multiple pursuers and an evader governed by several infinite systems of two-block differential equations in the Hilbert space l2. Geometric constraints are imposed on the players’ control functions. If the state of
Gafurjan Ibragimov +2 more
doaj +1 more source