Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287991185> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4287991185 abstract "Partial order reductions have been successfully applied to model checking of concurrent systems and practical applications of the technique show nontrivial reduction in the size of the explored state space. We present a theory of partial order reduction based on stubborn sets in the game-theoretical setting of 2-player games with reachability objectives. Our stubborn reduction allows us to prune the interleaving behaviour of both players in the game, and we formally prove its correctness on the class of games played on general labelled transition systems. We then instantiate the framework to the class of weighted Petri net games with inhibitor arcs and provide its efficient implementation in the model checker TAPAAL. Finally, we evaluate our stubborn reduction on several case studies and demonstrate its efficiency." @default.
- W4287991185 created "2022-07-26" @default.
- W4287991185 creator A5009728620 @default.
- W4287991185 creator A5028307375 @default.
- W4287991185 creator A5030629894 @default.
- W4287991185 creator A5069362159 @default.
- W4287991185 creator A5081945299 @default.
- W4287991185 date "2019-12-20" @default.
- W4287991185 modified "2023-10-18" @default.
- W4287991185 title "Stubborn Set Reduction for Two-Player Reachability Games" @default.
- W4287991185 doi "https://doi.org/10.23638/lmcs-17(1:21)2021" @default.
- W4287991185 hasPublicationYear "2019" @default.
- W4287991185 type Work @default.
- W4287991185 citedByCount "2" @default.
- W4287991185 countsByYear W42879911852022 @default.
- W4287991185 crossrefType "posted-content" @default.
- W4287991185 hasAuthorship W4287991185A5009728620 @default.
- W4287991185 hasAuthorship W4287991185A5028307375 @default.
- W4287991185 hasAuthorship W4287991185A5030629894 @default.
- W4287991185 hasAuthorship W4287991185A5069362159 @default.
- W4287991185 hasAuthorship W4287991185A5081945299 @default.
- W4287991185 hasBestOaLocation W42879911851 @default.
- W4287991185 hasConcept C102234262 @default.
- W4287991185 hasConcept C105795698 @default.
- W4287991185 hasConcept C110251889 @default.
- W4287991185 hasConcept C111335779 @default.
- W4287991185 hasConcept C111919701 @default.
- W4287991185 hasConcept C11413529 @default.
- W4287991185 hasConcept C136643341 @default.
- W4287991185 hasConcept C144237770 @default.
- W4287991185 hasConcept C154945302 @default.
- W4287991185 hasConcept C177142836 @default.
- W4287991185 hasConcept C177264268 @default.
- W4287991185 hasConcept C199360897 @default.
- W4287991185 hasConcept C2524010 @default.
- W4287991185 hasConcept C2777212361 @default.
- W4287991185 hasConcept C28034677 @default.
- W4287991185 hasConcept C33923547 @default.
- W4287991185 hasConcept C38677869 @default.
- W4287991185 hasConcept C41008148 @default.
- W4287991185 hasConcept C48103436 @default.
- W4287991185 hasConcept C55439883 @default.
- W4287991185 hasConcept C72434380 @default.
- W4287991185 hasConcept C73795354 @default.
- W4287991185 hasConcept C80444323 @default.
- W4287991185 hasConcept C94633896 @default.
- W4287991185 hasConceptScore W4287991185C102234262 @default.
- W4287991185 hasConceptScore W4287991185C105795698 @default.
- W4287991185 hasConceptScore W4287991185C110251889 @default.
- W4287991185 hasConceptScore W4287991185C111335779 @default.
- W4287991185 hasConceptScore W4287991185C111919701 @default.
- W4287991185 hasConceptScore W4287991185C11413529 @default.
- W4287991185 hasConceptScore W4287991185C136643341 @default.
- W4287991185 hasConceptScore W4287991185C144237770 @default.
- W4287991185 hasConceptScore W4287991185C154945302 @default.
- W4287991185 hasConceptScore W4287991185C177142836 @default.
- W4287991185 hasConceptScore W4287991185C177264268 @default.
- W4287991185 hasConceptScore W4287991185C199360897 @default.
- W4287991185 hasConceptScore W4287991185C2524010 @default.
- W4287991185 hasConceptScore W4287991185C2777212361 @default.
- W4287991185 hasConceptScore W4287991185C28034677 @default.
- W4287991185 hasConceptScore W4287991185C33923547 @default.
- W4287991185 hasConceptScore W4287991185C38677869 @default.
- W4287991185 hasConceptScore W4287991185C41008148 @default.
- W4287991185 hasConceptScore W4287991185C48103436 @default.
- W4287991185 hasConceptScore W4287991185C55439883 @default.
- W4287991185 hasConceptScore W4287991185C72434380 @default.
- W4287991185 hasConceptScore W4287991185C73795354 @default.
- W4287991185 hasConceptScore W4287991185C80444323 @default.
- W4287991185 hasConceptScore W4287991185C94633896 @default.
- W4287991185 hasLocation W42879911851 @default.
- W4287991185 hasOpenAccess W4287991185 @default.
- W4287991185 hasPrimaryLocation W42879911851 @default.
- W4287991185 hasRelatedWork W206281402 @default.
- W4287991185 hasRelatedWork W2397320769 @default.
- W4287991185 hasRelatedWork W2497391310 @default.
- W4287991185 hasRelatedWork W2499026813 @default.
- W4287991185 hasRelatedWork W2884909450 @default.
- W4287991185 hasRelatedWork W2970425440 @default.
- W4287991185 hasRelatedWork W2995150931 @default.
- W4287991185 hasRelatedWork W3147623613 @default.
- W4287991185 hasRelatedWork W3158268154 @default.
- W4287991185 hasRelatedWork W4287991185 @default.
- W4287991185 isParatext "false" @default.
- W4287991185 isRetracted "false" @default.
- W4287991185 workType "article" @default.