Filters








43 Hits in 4.7 sec

Simulation Hemi-metrics between Infinite-State Stochastic Games [chapter]

Jean Goubault-Larrecq
Foundations of Software Science and Computational Structures  
We investigate simulation hemi-metrics between certain forms of turnbased 2 1 2 -player games played on infinite topological spaces.  ...  We show a directed form of the Kantorovich-Rubinstein theorem, stating that the Hutchinson hemi-metric on spaces of continuous probability valuations coincides with a notion of trans-shipment hemi-metric  ...  One may see LMPs as turn-based stochastic 1 1 2 -player games, where, at each state, one player chooses a probability distribution p on states by its label, and the half-player picks the next state by  ... 
doi:10.1007/978-3-540-78499-9_5 dblp:conf/fossacs/Goubault-Larrecq08 fatcat:qhichk2forh43fylo44idyn7ai

Distances for Weighted Transition Systems: Games and Properties

Uli Fahrenberg, Claus Thrane, Kim G. Larsen
2011 Electronic Proceedings in Theoretical Computer Science  
The central tool in our work is a theory of infinite path-building games with quantitative objectives.  ...  We develop a general framework for reasoning about distances between transition systems with quantitative information.  ...  Using A as a game graph, the simulation game played on A from (s,t) is an infinite turnbased two-player game, where we denote the strategy space of Player i by Θ i and the utility function of Player 1  ... 
doi:10.4204/eptcs.57.10 fatcat:t5yyso36avgonmmcqk3rxndhya

Average behavior in learning models

David Canning
1992 Journal of Economic Theory  
The overlapping generations model, and learning in games with bounded memory, tit into this framework and are examined as examples of the result.  ...  At any time t the state of the system is h,. Given the stochastic evolution of the system we will be unsure of the state of the system at future times.  ...  The product topology on H = S m can be generated by the metric where d, is the metric on the space S.  ... 
doi:10.1016/0022-0531(92)90045-j fatcat:qq4rtyzg3vaxzkucin6i25vnry

Bisimulation Metrics for Continuous Markov Decision Processes

Norm Ferns, Prakash Panangaden, Doina Precup
2011 SIAM journal on computing (Print)  
Our work, based on statistical sampling and infinite dimensional linear programming is a crucial first step in formally guiding real-world planning, where tasks are usually continuous and highly stochastic  ...  In this paper, we seek to properly extend these bisimulation metrics to Markov decision processes with continuous state spaces.  ...  Goubault-Larrecq [35] introduces a hemi-metric (such a function satisfies all properties of a pseudometric save for symmetry) for simulation in prevision transition systems, a generalization of probabilistic  ... 
doi:10.1137/10080484x fatcat:kz73ozpu4ne6pkcukb37nacwua

Games of Incomplete Information Played By Statisticians [article]

Annie Liang
2020 arXiv   pre-print
I propose a metric for the analyst's "confidence" in a strategic prediction, based on the probability that the prediction is consistent with the realized data.  ...  Two states are connected by travel, and their governors choose between implementing a strong or a weak lockdown policy in their states to slow the spread of the disease.  ...  Consider the following four-player game. Players 1 and 2 choose between actions in ta, bu, and player 3 chooses between matrices from tl, ru.  ... 
arXiv:1910.07018v2 fatcat:aybrdlka6bbd5kwfatmp6s4zfq

Solving dynamic public insurance games with endogenous agent distributions: Theory and computational approximation

Timothy Kam, Ronald Stauber
2016 Journal of Mathematical Economics  
In contrast to policy games involving representative agents, this extension has interesting consequences as it implies additional nonlinearity (i.e., bilinearity) between the game states (distributions  ...  First, we extend the characterization of equilibrium payoff correspondences in history-dependent dynamic policy games to a class with endogenously heterogeneous private agents.  ...  With a finite state space Z, game states can be defined by distribution vectors λ t ∈ R Z , and the bilinear interaction between game states and continuation payoffs, on which the computational approximation  ... 
doi:10.1016/j.jmateco.2016.03.004 fatcat:yfrfwrzxd5gqrfrq4btkaofsw4

Abstracts of Working Papers in Economics

1994 Abstracts of Working Papers in Economics  
The purpose of this paper is to empirically investigate the bilateral link between the U.S. and Japanese economies in terms of how R&D capital formation in one country affects the production structure,  ...  We discuss our concepts in non-canonical correlated devices also and prove the revelation principle in the context of ex-post, strong, and weak interim efficiency, though it fails, even for two-player games  ...  , then the infinite horizon stochastic game will have a Markov perfect equilibrium point.  ... 
doi:10.1017/s0951007900004228 fatcat:5jumolqfn5cmbhspzxiiq5d5oe

A Generic Approach to Quantitative Verification [article]

Uli Fahrenberg
2022 arXiv   pre-print
We assume as input a distance between traces, or executions, and then employ the theory of games with quantitative objectives to define distances between quantitative systems.  ...  Different versions of the quantitative bisimulation game give rise to different types of distances, viz.  ...  This is a quantitative generalization of the fact that trace inclusion and simulation are not equivalent.  ... 
arXiv:2204.11302v1 fatcat:ahesa4i4xbhvncaxgqbmrotdxq

Weighted modal transition systems

Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus Thrane
2012 Formal methods in system design  
Satisfaction and refinement is lifted from the wellknown qualitative to our quantitative setting, by introducing a notion of distances between weighted modal transition systems.  ...  to them as extended (hemi-, pseudo-)metrics.  ...  We recall the following theorem from [46] ; the complexity result is obtained by reduction to simple stochastic games [16] .  ... 
doi:10.1007/s10703-012-0178-9 fatcat:ntahrkxp7bfj5pxvp5itougboi

Weighted Modal Transition Systems [article]

Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus Thrane
2012 arXiv   pre-print
Satisfaction and refinement is lifted from the well-known qualitative to our quantitative setting, by introducing a notion of distances between weighted modal transition systems.  ...  to them as extended (hemi-, pseudo-)metrics.  ...  We recall the following theorem from [46] ; the complexity result is obtained by reduction to simple stochastic games [16] . Lemma 6 ([46]).  ... 
arXiv:1210.5659v1 fatcat:q374se2dunhfxjpofdtsq2gnym

Abstracts of Working Papers in Economics

1992 Abstracts of Working Papers in Economics  
hemi-continuous.  ...  AB The paper analyzes a two-player game in which each player has to choose an automation (machine) which plays an infinitely repeated extensive game.  ...  TI A Remark on Infinitely Repeated Extensive Games. AU Rubinstein, Ariel; Wolinsky, Asher. AA Rubinstein: Tel Aviv University. Wolinsky: Northwestern University.  ... 
doi:10.1017/s0951007900002655 fatcat:rqdkdsblmbgtzph36qdxu5t36q

Abstracts of Working Papers in Economics

1991 Abstracts of Working Papers in Economics  
We consider the case of a symmetric duopoly game where firms have imperfect information about market demand and learn through observing the volume of their sales.  ...  Today, in every member state, services account for more production and employment than agriculture and manufacturing combined.  ...  AB In this paper, optimal money supply rules are examined in a small stochastic open economy characterized by a flexible exchange rate regime.  ... 
doi:10.1017/s0951007900002254 fatcat:pl44n3j2qrhibp7mnhwme56xtu

Identification of Social Interactions

Lawrence E. Blume, William A. Brock, Steven N. Durlauf, Yannis M. M. Ioannides
2010 Social Science Research Network  
In addition to describing the state of the identification literature, we indicate areas where additional research is especially needed and suggest some directions that appear to be especially promising  ...  He then simulates the structural model for different parameter values, and estimates the auxiliary model with these simulated data sets.  ...  The indirect inference estimate is the set of parameter values which minimize a distance between the simulated-data and real-data parameter estimates of the auxiliary model.  ... 
doi:10.2139/ssrn.1660002 fatcat:l57zzv222zgmzlvptsotp2hzoa

High-quality curve rendering using line sampled visibility

Rasmus Barringer, Carl Johan Gribel, Tomas Akenine-Möller
2012 ACM Transactions on Graphics  
Computer generated imagery is vital to the entertainment industry in the production of games and films, for example.  ...  Recently, these developments involve a widening gap between memory bandwidth and compute capabilities, wide SIMD units, and shared memory between CPU and GPU.  ...  While several metrics exist, this thesis makes use of the metric outlined below.  ... 
doi:10.1145/2366145.2366181 fatcat:umfjcyurdjdazcmgzq6rn62hmu

Identification of Social Interactions [chapter]

Lawrence E. Blume, William A. Brock, Steven N. Durlauf, Yannis M. Ioannides
2011 Handbook of Social Economics  
In addition to describing the state of the identification literature, we indicate areas where additional research is especially needed and suggest some directions that appear to be especially promising  ...  The basic idea of this second approach is to explore how strong dependence between choices can lead to qualitative changes in the properties of the joint stochastic process for a set of choices.  ...  This is ruled out, in an expectations sense, by the stochastic dominance assumption.  ... 
doi:10.1016/b978-0-444-53707-2.00001-3 fatcat:ktbuizrkqba75nin4tgk62jx6q
« Previous Showing results 1 — 15 out of 43 results