Sökning: "mean payoff games"
Hittade 4 avhandlingar innehållade orden mean payoff games.
1. Games and Probabilistic Infinite-State Systems
Sammanfattning : 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. LÄS MER
2. Optimal stopping, incomplete information, and stochastic games
Sammanfattning : 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. LÄS MER
3. Combinatorial Optimization for Infinite Games on Graphs
Sammanfattning : Games on graphs have become an indispensable tool in modern computer science. They provide powerful and expressive models for numerous phenomena and are extensively used in computer- aided verification, automata theory, logic, complexity theory, computational biology, etc. LÄS MER
4. Topics in Mean-Field Control and Games for Pure Jump Processes
Sammanfattning : This thesis is the collection of four papers addressing topics in stochastic optimal control, zero-sum games, backward stochastic differential equations, Pontryagin stochastic maximum principle and relaxed stochastic optimal control.In the first two papers, we establish existence of Markov chains of mean-field type, with countable state space and unbounded jump intensities. LÄS MER