Search results for "Pelite"

showing 10 items of 58 documents

Asymptotic Lipschitz regularity for tug-of-war games with varying probabilities

2018

We prove an asymptotic Lipschitz estimate for value functions of tug-of-war games with varying probabilities defined in $\Omega\subset \mathbb R^n$. The method of the proof is based on a game-theoretic idea to estimate the value of a related game defined in $\Omega\times \Omega$ via couplings.

osittaisdifferentiaaliyhtälötPure mathematicsComputer Science::Computer Science and Game TheoryTug of war010102 general mathematicslocal Lipschitz estimatesLipschitz continuity01 natural sciencesnormalized p(x)-laplaciandynamic programming principle010104 statistics & probabilityMathematics - Analysis of PDEsFOS: Mathematicspeliteoria91A05 91A15 91A50 35B65 35J60 35J92stochastic games0101 mathematicsValue (mathematics)AnalysisAnalysis of PDEs (math.AP)Mathematicsstokastiset prosessit
researchProduct

Regularity properties of tug-of-war games and normalized equations

2017

osittaisdifferentiaaliyhtälötviscosity solutionspeliteoriastochastic gamesnormalized p-Laplacianstokastiset prosessit
researchProduct

Partial-order reduction for parity games and parameterised Boolean equation systems

2022

AbstractIn model checking, reduction techniques can be helpful tools to fight the state-space explosion problem. Partial-order reduction (POR) is a well-known example, and many POR variants have been developed over the years. However, none of these can be used in the context of model checking stutter-sensitive temporal properties. We propose POR techniques for parity games, a well-established formalism for solving a variety of decision problems, including model checking. As a result, we obtain the first POR method that is sound for the full modal $$\upmu $$ μ -calculus. We show how our technique can be applied to the fixed point logic called parameterised Boolean equation systems, which pro…

partial-order reductionParity gamesparameterised Boolean equation systemsparity gamesverifiointistubborn setsStubborn setsPartial-order reductionpeliteoriaParameterised Boolean equation systemstietojenkäsittelySoftwareBoolen algebraInformation SystemsInternational Journal on Software Tools for Technology Transfer
researchProduct

Johdatus peliteoriaan : kahden pelaajan nollasummapelien ratkaiseminen ja Nashin tasapainojen olemassaolo usean pelaajan yleisessä summapelissä

2013

Tämän tutkielman tarkoituksena on osoittaa, että jokaisella usean pelaajan yleisellä summapelillä on olemassa vähintään yksi Nashin tasapaino. Lisäksi osoitetaan, että kahden pelaajan nollasummapeleissä Nashin tasapainojen mukaiset pelaajien voittojen odotusarvojen suuruudet ovat yksikäsitteiset, ja näytetään kuinka kyseiset odotusarvot voidaan ratkaista lineaarisen optimoinnin avulla. Tutkielmassa määritellään yleiset summapelit kolmikkoina, jotka muodostuvat äärellisestä määrästä pelaajia, joista jokaiseen on liitetty äärellinen joukko. Näiden joukkojen alkioita kutsutaan pelaajien puhtaiksi strategioiksi. Kolmikon viimeisen jäsenen muodostaa jokaiselle pelaajalle erikseen määritelty kuva…

pelitlineaarinen optimointimatematiikkaalgoritmitpeliteoria
researchProduct

Pelitutkimuksen vuosikirja 2018

2018

pelitpelaaminenPokémon Go (peli)digital gamespeliteollisuusverkkopelitpelitutkimusdigitaaliset pelitmobiilipelitlautapelitgo (peli)
researchProduct

Pelitutkimuksen vuosikirja 2017

2017

pelitpelaaminenpeliteollisuusPokémon Go (peli)verkkopelitpelitutkimusdigitaaliset pelitmobiilipelitlautapelitgo (peli)
researchProduct

GAMEHIGHED Initial Report : Output 1: Initial Research & Analysis Report. Higher-ed Programmes for Careers in Game Design & Development (2019–2022)

2020

pelitpelisuunnittelupeliteollisuusdigitaaliset pelit
researchProduct

Transsendentaalista peliä : tutkielma Jaakko Hintikan Kant-tulkinnasta

2002

peliteoreettinen semantiikkaHintikka JaakkoKant Immanuelanalyyttinen vs. synteettinenfilosofiatranssendentalismipeliteoria
researchProduct

Peliteoria ja huutokauppamekanismit

2015

Tämän tutkielman tarkoituksena on analysoida huutokauppoja peliteorian näkökulmasta. Työn alkupuolella käsitellään kahden pelaajan strategisia pelejä. Strategista peliä sanotaan nollasummapeliksi, jos pelaajien tulosten summa on nolla. Von Neumannin minimax-lauseen mukaan jokaisella kahden pelaajan nollasummapelillä on arvo, joka saavutetaan optimaalisia strategioita käyttämällä. Vastaavasti strateginen peli on yleinen summapeli, jos pelaajien tulosten summa on erisuuri kuin nolla joillakin strategioilla. Osoittautuu, että jokaisessa kahden pelaajan yleisessä summapelissä on ainakin yksi Nashin tasapaino. Tässä työssä näytetään, että englantilainen ja suljettu toiseksi korkeimman tarjouksen…

peliteoriahuutokauppasummapelit
researchProduct

Riskinsietokyvyltään erilaisten yrittäjien suhtautuminen yrityksen perustamiseen : peliteoreettinen mallitus

1998

peliteoriaodotetun hyödyn periaateriskinsietokyky
researchProduct