Search for dissertations about: "stochastic games"

Showing result 1 - 5 of 23 swedish dissertations containing the words stochastic games.

  2. 1. Games and Probabilistic Infinite-State Systems

    Author : Sven Sandberg; Parosh Abdulla; Luca de Alfaro; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; program verification; model checking; determinacy; strategy improvement; infinite games; parity games; mean payoff games; stochastic games; Büchi games; reachability games; limiting average; limiting behavior; Markov chains; infinite-state systems; lossy channel systems; vector addition systems; noisy Turing machines; Computer science; Datavetenskap;

    Abstract : Computer programs keep finding their ways into new safety-critical applications, while at the same time growing more complex. This calls for new and better methods to verify the correctness of software. We focus on one approach to verifying systems, namely that of model checking. READ MORE

  4. 2. Optimal stopping, incomplete information, and stochastic games

    Author : Yuqiong Wang; Erik Ekström; Sören Christensen; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Optimal stopping; sequential analysis; incomplete information; asymmetric information; stochastic filtering; Dynkin games; tug-of-war games; Mathematics; Matematik;

    Abstract : This thesis contains six papers on the topics of optimal stopping and stochastic games. Paper I extends the classical Bayesian sequential testing and detection problems for a Brownian motion to higher dimensions. We demonstrate unilateral concavity of the cost function and present its structural properties through various examples. READ MORE

  5. 3. Topics in the mean-field type approach to pedestrian crowd modeling and conventions

    Author : Alexander Aurell; Boualem Djehiche; Xiaoming Hu; Roland Malhamé; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; pedestrian crowds; stochastic differential equations; mean field; stochastic control; games; backward dynamics; sticky boundary; stochastic maximum principle; social conventions; folkmassor; stokastiska differentialekvationer; medelfält; stokastisk styrning; limaktiga randvillkor; stokastiska maximumprincipen; dynamik med ändvillkor; spel; konventioner;

    Abstract : This thesis consists of five appended papers, primarily addressingtopics in pedestrian crowd modeling and the formation of conventions.The first paper generalizes a pedestrian crowd model for competingsubcrowds to include nonlocal interactions and an arbitrary (butfinite) number of subcrowds. READ MORE

  6. 4. Infinite-state Stochastic and Parameterized Systems

    Author : Noomene Ben Henda; Parosh Abdulla; Christel Baier; Uppsala universitet; []
    Keywords : program verification; model checking; stochastic games; infinite-state systems; Markov chains; reachability; repeated reachability; parameterized systems; approximation; safety; tree systems;

    Abstract : A major current challenge consists in extending formal methods in order to handle infinite-state systems. Infiniteness stems from the fact that the system operates on unbounded data structure such as stacks, queues, clocks, integers; as well as parameterization. READ MORE

  7. 5. Stochastic stability and equilibrium selection in games

    Author : Alexander Matros; Handelshögskolan i Stockholm; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

    Abstract : This thesis consists of five papers, presented as separate chapters within three parts: Industrial Organization, Evolutionary Game Theory and Game Theory. The common basis of these parts is research in the field of game theory and more specifically, equilibrium selection in different frameworks. READ MORE