Nominal Game Semantics by Tzevelekos, N

“…This thesis examines nominal game semantics, that is, game semantics for nominal computation. …”

PLAYING STOCHASTIC GAMES PRECISELY by Chen, T, Forejt, V, Kwiatkowska, M, Simaitis, A, Trivedi, A, Ummels, M

“…We study stochastic two-player games where the goal of one player is to achieve precisely a given expected value of the objective function, while the goal of the opponent is the opposite. …”

Expected Reachability−Time Games by Forejt, V, Kwiatkowska, M, Norman, G, Trivedi, A

On Stochastic Games with Multiple Objectives by Chen, T, Forejt, V, Kwiatkowska, M, Simaitis, A, Wiltsche, C

“…Such games are important for modelling, synthesis and veri cation of open systems with stochastic behaviour. …”

Compositional Controller Synthesis for Stochastic Games by Basset, N, Kwiatkowska, M, Wiltsche, C

“…We propose a synchronising parallel composition for stochastic games that enables a compositional approach to controller synthesis. …”

The Shapley Axiomatization for Values in Partition Function Games by Skibski, O, Michalak, T, Wooldridge, M

“…One of the long-debated issues in coalitional game theory is how to extend the Shapley value to games with externalities (partition-function games). …”

Marginality Approach To Shapley Value In Games With Externalities by Skibski, O, Michalak, T, Wooldridge, M

“…One of the long-debated issues in coalitional game theory is how to extend the Shapley value to games with externalities. …”

Game−Based Probabilistic Predicate Abstraction in PRISM by Kattenbelt, M, Kwiatkowska, M, Norman, G, Parker, D

Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives by Basset, N, Kwiatkowska, M, Topcu, U, Wiltsche, C

“…We consider turn-based stochastic games whose winning conditions are conjunctions of satisfaction objectives for long-run average rewards, and address the problem of finding a strategy that almost surely maintains the averages above a given multi-dimensional threshold vector. …”

Limited memory solution of complementarity problems arising in video games by Ferris, M, Wathen, A

“…The problem arising from physical simulations occurring within video games. The motivating problem is outlined, along with a simple interior point approach for its solution. …”

Abstraction Framework for Markov Decision Processes and PCTL via Games by Kattenbelt, M, Huth, M

“…We take a notion of stochastic games from stochastic reachability analysis, adapt it, develop a simulation order for these adapted games ? …”

A Game Theoretic Approach to Measure Contributions in Algorithm Portfolios by Rahwan, T, Michalak, T

“…We then propose the use of the Shapley value|a well- known concept in cooperative game theory|and show that it provides the correct answer. …”

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions by Jovanovic, A, Kwiatkowska, M

“…To ensure precise reachability probabilities, we adapt the game-based abstraction re nement method. In the parametric setting, our method is able to determine all the possible maximum (or minimum) reachabil- ity probabilities that arise for di erent values of timing parameters, and yields optimal valuations represented as a set of symbolic constraints between parameters.…”

A Game−based Abstraction−Refinement Framework for Markov Decision Processes by Kattenbelt, M, Kwiatkowska, M, Norman, G, Parker, D

OpenMx: Simpified manual for beginners by Bishop, D

Subjects:

Real-time individualized training vectors for experiential learning by Raybourn, E, Fabian, N, Glickman, M, Tucker, E, Willis, M

“…Military training utilizing serious games or virtual worlds potentially generate data that can be mined to better understand how trainees’ learn in experiential exercises. …”

Platformization in Europe: Global and local digital intermediaries in the retail, taxi and food delivery industries by Lehdonvirta, V, Park, S, Krell, T, Friederici, N

“…Digital platform companies have transformed many major European industries, such as mobility services, retail, tourism, finance, food, music, and digital games. These firms have established themselves as new market intermediaries that match supply with demand. …”

Permissive controller synthesis for probabilistic systems by Dräger, K, Forejt, V, Kwiatkowska, M, Parker, D, Ujma, M

“…We propose novel controller synthesis techniques for probabilistic systems modelled using stochastic two-player games: one player acts as a controller, the second represents its environment, and probability is used to capture uncertainty arising due to, for example, unreliable sensors or faulty system components. …”

An Exact Algorithm for Coalition Structure Generation and Complete Set Partitioning by Rahwan, T, Michalak, T, Elkind, E, Wooldridge, M, Jennings, N

“…Solving the Coalition Structure Generation problem is a major challenge in cooperative game theory. It involves partitioning the set of agents into subsets (or coalitions) such that the total reward is maximized. …”

Eigenvalues and Pseudospectra of Rectangular Matrices by Wright, T, Trefethen, L

“…Applications are given in (square) eigenvalue computation (Lanczos and Arnoldi iteration), square pseudospectra approximation, control theory (nearest uncontrollable system) and game theory.…”