About: Using strategy improvement to stay alive

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Using strategy improvement to stay alive Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://dx.doi.org/10.1142/S0129054112400291
Description	We design a novel algorithm for solving Mean-Payoff Games (MPGs). Besides solving an MPG in the usual sense, our algorithm computes more information about the game, information that is important with respect to applications. The weights of the edges of an MPG can be thought of as a gained/consumed energy – depending on the sign. For each vertex, our algorithm computes the minimum amount of initial energy that is sufficient for player Max to ensure that in a play starting from the vertex, the energy level never goes below zero. Our algorithm is not the first algorithm that computes the minimum sufficient initial energies, but according to our experimental study it is the fastest algorithm that computes them. The reason is that it utilizes the strategy improvement technique which is very efficient in practice. We design a novel algorithm for solving Mean-Payoff Games (MPGs). Besides solving an MPG in the usual sense, our algorithm computes more information about the game, information that is important with respect to applications. The weights of the edges of an MPG can be thought of as a gained/consumed energy – depending on the sign. For each vertex, our algorithm computes the minimum amount of initial energy that is sufficient for player Max to ensure that in a play starting from the vertex, the energy level never goes below zero. Our algorithm is not the first algorithm that computes the minimum sufficient initial energies, but according to our experimental study it is the fastest algorithm that computes them. The reason is that it utilizes the strategy improvement technique which is very efficient in practice. (en)
Title	Using strategy improvement to stay alive Using strategy improvement to stay alive (en)
skos:prefLabel	Using strategy improvement to stay alive Using strategy improvement to stay alive (en)
skos:notation	RIV/00216224:14330/12:00057380!RIV13-GA0-14330___
http://linked.open...avai/riv/aktivita	I P S
http://linked.open...avai/riv/aktivity	I, P(GA201/09/1389), P(GD102/09/H042), S
http://linked.open...iv/cisloPeriodika	3
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Chaloupka, Jakub Brim, Luboš
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	176558
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/12:00057380
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Mean-payoff games; strategy improvement; experimental evaluation. (en)
http://linked.open.../riv/klicoveSlovo	Mean-payoff games experimental evaluation. strategy improvement
http://linked.open...odStatuVydavatele	CZ - Česká republika
http://linked.open...ontrolniKodProRIV	[C972621DBD05]
http://linked.open...i/riv/nazevZdroje	International Journal of Foundations of Computer Science
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Verification and Analysis of Large-Scale Computer Systems Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems
http://linked.open...UplatneniVysledku	2012
http://linked.open...v/svazekPeriodika	23
http://linked.open...iv/tvurceVysledku	Brim, Luboš Chaloupka, Jakub
http://linked.open...ain/vavai/riv/wos	000304003000003
issn	0129-0541
number of pages	24 (xsd:int)
http://bibframe.org/vocab/doi	10.1142/S0129054112400291
http://localhost/t...ganizacniJednotka	14330

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software