Matches in SemOpenAlex for { <https://semopenalex.org/work/W4225526711> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4225526711 endingPage "155" @default.
- W4225526711 startingPage "137" @default.
- W4225526711 abstract "Abstract Parity games can be used to represent many different kinds of decision problems. In practice, tools that use parity games often rely on a specification in a higher-order logic from which the actual game can be obtained by means of an exploration. For many of these decision problems we are only interested in the solution for a designated vertex in the game. We formalise how to use on-the-fly solving techniques during the exploration process, and show that this can help to decide the winner of such a designated vertex in an incomplete game. Furthermore, we define partial solving techniques for incomplete parity games and show how these can be made resilient to work directly on the incomplete game, rather than on a set of safe vertices. We implement our techniques for symbolic parity games and study their effectiveness in practice, showing that speed-ups of several orders of magnitude are feasible and overhead (if unavoidable) is typically low." @default.
- W4225526711 created "2022-05-05" @default.
- W4225526711 creator A5042194099 @default.
- W4225526711 creator A5056065743 @default.
- W4225526711 creator A5072739621 @default.
- W4225526711 date "2022-01-01" @default.
- W4225526711 modified "2023-10-14" @default.
- W4225526711 title "On-The-Fly Solving for Symbolic Parity Games" @default.
- W4225526711 cites W1490526406 @default.
- W4225526711 cites W1503206383 @default.
- W4225526711 cites W1753901747 @default.
- W4225526711 cites W1850929791 @default.
- W4225526711 cites W1902047993 @default.
- W4225526711 cites W1971138850 @default.
- W4225526711 cites W1984049988 @default.
- W4225526711 cites W1994234924 @default.
- W4225526711 cites W2006228911 @default.
- W4225526711 cites W2026591657 @default.
- W4225526711 cites W2030224590 @default.
- W4225526711 cites W2060375000 @default.
- W4225526711 cites W2109338287 @default.
- W4225526711 cites W2112832542 @default.
- W4225526711 cites W2125656483 @default.
- W4225526711 cites W2139470733 @default.
- W4225526711 cites W2140317178 @default.
- W4225526711 cites W2148957842 @default.
- W4225526711 cites W2534303543 @default.
- W4225526711 cites W2586521831 @default.
- W4225526711 cites W2783006893 @default.
- W4225526711 cites W2791055336 @default.
- W4225526711 cites W2810421936 @default.
- W4225526711 cites W2892102658 @default.
- W4225526711 cites W2931334490 @default.
- W4225526711 cites W2950091953 @default.
- W4225526711 cites W3122059054 @default.
- W4225526711 cites W3147910429 @default.
- W4225526711 doi "https://doi.org/10.1007/978-3-030-99527-0_8" @default.
- W4225526711 hasPublicationYear "2022" @default.
- W4225526711 type Work @default.
- W4225526711 citedByCount "3" @default.
- W4225526711 countsByYear W42255267112022 @default.
- W4225526711 crossrefType "book-chapter" @default.
- W4225526711 hasAuthorship W4225526711A5042194099 @default.
- W4225526711 hasAuthorship W4225526711A5056065743 @default.
- W4225526711 hasAuthorship W4225526711A5072739621 @default.
- W4225526711 hasBestOaLocation W42255267111 @default.
- W4225526711 hasConcept C109214941 @default.
- W4225526711 hasConcept C111919701 @default.
- W4225526711 hasConcept C121332964 @default.
- W4225526711 hasConcept C132525143 @default.
- W4225526711 hasConcept C199360897 @default.
- W4225526711 hasConcept C2777151079 @default.
- W4225526711 hasConcept C2779960059 @default.
- W4225526711 hasConcept C2781020372 @default.
- W4225526711 hasConcept C41008148 @default.
- W4225526711 hasConcept C80444323 @default.
- W4225526711 hasConcept C80899671 @default.
- W4225526711 hasConceptScore W4225526711C109214941 @default.
- W4225526711 hasConceptScore W4225526711C111919701 @default.
- W4225526711 hasConceptScore W4225526711C121332964 @default.
- W4225526711 hasConceptScore W4225526711C132525143 @default.
- W4225526711 hasConceptScore W4225526711C199360897 @default.
- W4225526711 hasConceptScore W4225526711C2777151079 @default.
- W4225526711 hasConceptScore W4225526711C2779960059 @default.
- W4225526711 hasConceptScore W4225526711C2781020372 @default.
- W4225526711 hasConceptScore W4225526711C41008148 @default.
- W4225526711 hasConceptScore W4225526711C80444323 @default.
- W4225526711 hasConceptScore W4225526711C80899671 @default.
- W4225526711 hasLocation W42255267111 @default.
- W4225526711 hasLocation W42255267112 @default.
- W4225526711 hasOpenAccess W4225526711 @default.
- W4225526711 hasPrimaryLocation W42255267111 @default.
- W4225526711 hasRelatedWork W1482618134 @default.
- W4225526711 hasRelatedWork W2028024605 @default.
- W4225526711 hasRelatedWork W2126356880 @default.
- W4225526711 hasRelatedWork W2134166984 @default.
- W4225526711 hasRelatedWork W2350861899 @default.
- W4225526711 hasRelatedWork W2496161296 @default.
- W4225526711 hasRelatedWork W2625550807 @default.
- W4225526711 hasRelatedWork W2767525681 @default.
- W4225526711 hasRelatedWork W2993658294 @default.
- W4225526711 hasRelatedWork W4318832445 @default.
- W4225526711 isParatext "false" @default.
- W4225526711 isRetracted "false" @default.
- W4225526711 workType "book-chapter" @default.