Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022184804> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2022184804 endingPage "16" @default.
- W2022184804 startingPage "1" @default.
- W2022184804 abstract "We consider the problem of obtaining sparse positional strategies for safety games. Such games are a commonly used model in many formal methods, as they make the interaction of a system with its environment explicit. Often, a winning strategy for one of the players is used as a certificate or as an artefact for further processing in the application. Small such certificates, i.e., strategies that can be written down very compactly, are typically preferred. For safety games, we only need to consider positional strategies. These map game positions of a player onto a move that is to be taken by the player whenever the play enters that position. For representing positional strategies compactly, a common goal is to minimize the number of positions for which a winning player's move needs to be defined such that the game is still won by the same player, without visiting a position with an undefined next move. We call winning strategies in which the next move is defined for few of the player's positions sparse. Unfortunately, even roughly approximating the density of the sparsest strategy for a safety game has been shown to be NP-hard. Thus, to obtain sparse strategies in practice, one either has to apply some heuristics, or use some exhaustive search technique, like ILP (integer linear programming) solving. In this paper, we perform a comparative study of currently available methods to obtain sparse winning strategies for the safety player in safety games. We consider techniques from common knowledge, such as using ILP or SAT (satisfiability) solving, and a novel technique based on iterative linear programming. The results of this paper tell us if current techniques are already scalable enough for practical use." @default.
- W2022184804 created "2016-06-24" @default.
- W2022184804 creator A5050112206 @default.
- W2022184804 creator A5076400261 @default.
- W2022184804 date "2012-07-03" @default.
- W2022184804 modified "2023-09-27" @default.
- W2022184804 title "Sparse Positional Strategies for Safety Games" @default.
- W2022184804 cites W1501480203 @default.
- W2022184804 cites W1504137062 @default.
- W2022184804 cites W1886788709 @default.
- W2022184804 cites W2023329406 @default.
- W2022184804 cites W2024941371 @default.
- W2022184804 cites W2048905609 @default.
- W2022184804 cites W2083896385 @default.
- W2022184804 cites W2100112273 @default.
- W2022184804 cites W2111299652 @default.
- W2022184804 cites W2113511408 @default.
- W2022184804 cites W2149112194 @default.
- W2022184804 cites W2170933628 @default.
- W2022184804 cites W4253380258 @default.
- W2022184804 doi "https://doi.org/10.4204/eptcs.84.1" @default.
- W2022184804 hasPublicationYear "2012" @default.
- W2022184804 type Work @default.
- W2022184804 sameAs 2022184804 @default.
- W2022184804 citedByCount "4" @default.
- W2022184804 countsByYear W20221848042016 @default.
- W2022184804 countsByYear W20221848042019 @default.
- W2022184804 countsByYear W20221848042021 @default.
- W2022184804 countsByYear W20221848042022 @default.
- W2022184804 crossrefType "journal-article" @default.
- W2022184804 hasAuthorship W2022184804A5050112206 @default.
- W2022184804 hasAuthorship W2022184804A5076400261 @default.
- W2022184804 hasBestOaLocation W20221848041 @default.
- W2022184804 hasConcept C10138342 @default.
- W2022184804 hasConcept C111919701 @default.
- W2022184804 hasConcept C11413529 @default.
- W2022184804 hasConcept C127705205 @default.
- W2022184804 hasConcept C162324750 @default.
- W2022184804 hasConcept C198082294 @default.
- W2022184804 hasConcept C41008148 @default.
- W2022184804 hasConcept C56086750 @default.
- W2022184804 hasConcept C80444323 @default.
- W2022184804 hasConcept C96865113 @default.
- W2022184804 hasConceptScore W2022184804C10138342 @default.
- W2022184804 hasConceptScore W2022184804C111919701 @default.
- W2022184804 hasConceptScore W2022184804C11413529 @default.
- W2022184804 hasConceptScore W2022184804C127705205 @default.
- W2022184804 hasConceptScore W2022184804C162324750 @default.
- W2022184804 hasConceptScore W2022184804C198082294 @default.
- W2022184804 hasConceptScore W2022184804C41008148 @default.
- W2022184804 hasConceptScore W2022184804C56086750 @default.
- W2022184804 hasConceptScore W2022184804C80444323 @default.
- W2022184804 hasConceptScore W2022184804C96865113 @default.
- W2022184804 hasLocation W20221848041 @default.
- W2022184804 hasLocation W20221848042 @default.
- W2022184804 hasOpenAccess W2022184804 @default.
- W2022184804 hasPrimaryLocation W20221848041 @default.
- W2022184804 hasRelatedWork W1522517976 @default.
- W2022184804 hasRelatedWork W1534573459 @default.
- W2022184804 hasRelatedWork W1756885467 @default.
- W2022184804 hasRelatedWork W2034983601 @default.
- W2022184804 hasRelatedWork W2097843717 @default.
- W2022184804 hasRelatedWork W2133158628 @default.
- W2022184804 hasRelatedWork W2560284304 @default.
- W2022184804 hasRelatedWork W2884576438 @default.
- W2022184804 hasRelatedWork W2905364337 @default.
- W2022184804 hasRelatedWork W3042941765 @default.
- W2022184804 hasVolume "84" @default.
- W2022184804 isParatext "false" @default.
- W2022184804 isRetracted "false" @default.
- W2022184804 magId "2022184804" @default.
- W2022184804 workType "article" @default.