Filtry
Stability in Graphs and Games
outcome, given as a mean payoff property. Since the notion of mean-payoff does not reflect possible fluctuations from the mean-payoff along a run, we propose definitions if a given mean ...
IN - Informatika
- 2016 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives
processes (MDPs) with multiple mean-payoff objectives. Our models are described in PRISM PRISM byadding novel algorithms for multiple mean-payoff objectives, and also Pareto curve for two mean-payoff<...
IN - Informatika
- 2015 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Faster Algorithm for Mean-Payoff Games
We study some existing techniques for solving mean-payoff games (MPGs), improve them, and design a randomized algorithm for solving MPGs with currently the best expected complexity....
IN - Informatika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Faster Algorithm for Mean-Payoff Games
We study some existing techniques for solving mean-payoff games (MPGs), improve them, and design a randomized algorithm for solving MPGs with currently the best expected complexity....
IN - Informatika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Optimizing the Expected Mean Payoff in Energy Markov Decision Processes
that keeps the counter non-negative) which maximizes the expected mean payoff.Energy Markov Decision Processes (EMDPs) are finite-state Markov decision processes where each transition is assigned an integer counter update and a rat...
IN - Informatika
- 2016 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Faster algorithms for mean-payoff games
played on a weighted graph with mean-payoff objective and with energy constraints. We known worst-case complexity for pseudopolynomial mean-payoff algorithms. Our games and mean-payoff games can ...
IN - Informatika
- 2011 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
We consider Markov decision processes (MDPs) with multiple limit-average (or mean-payoff) objectives. There exist two different views: (i)~the expectation semantics, where the goal is to optimize the expected mean-payof...
IN - Informatika
- 2015 •
- D
Rok uplatnění
D - Stať ve sborníku
Trading performance for stability in Markov decision processes
We study controller synthesis problems for finite-state Markov decision processes, where the objective is to optimize the expected mean-payoff performance of expressing the stability using the statistical variance of the mean
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Trading Performance for Stability in Markov Decision Processes
the expected mean-payoff performance of the system and its stability. We argue of the mean-payoff (called global variance in our paper) is not always sufficient, since express how rewards on each run deviate from ...
IN - Informatika
- 2013 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation
Mean-payoff games (MPGs) have many applications, especially in the synthesis, analysis and verification of computer systems. Because of the size of these systems, there is a need to solve very large MPGs. Existing algorithms for sol...
IN - Informatika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 z 71 113