Featured Games

Fahrenberg, Uli; Legay, Axel

doi:10.1109/tase52547.2021.00027

Cited by 2 publications

(1 citation statement)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…return U ′ : S → (P ′ → AE ∪ {∞}) already shown and not depicted due to space restrictions. They can be found in the long version [24].…”

Section: Featured Energy and Parity Gamesmentioning

confidence: 99%

Featured Games

Fahrenberg,

Legay

2020

Preprint

Self Cite

View full text Add to dashboard Cite

Feature-based SPL analysis and family-based model checking have seen rapid development. Many model checking problems can be reduced to two-player games on finite graphs. A prominent example is mu-calculus model checking, which is generally done by translating to parity games, but also many quantitative model-checking problems can be reduced to (quantitative) games.In their FASE'20 paper, ter Beek et al. introduce parity games with variability in order to develop family-based mu-calculus model checking of featured transition systems. We generalize their model to general featured games and show how these may be analysed in a family-based manner.We introduce featured reachability games, featured minimum reachability games, featured discounted games, featured energy games, and featured parity games. We show how to compute winners and values of such games in a family-based manner. We also show that all these featured games admit optimal featured strategies, which project to optimal strategies for any product. Further, we develop family-based algorithms, using late splitting, to compute winners, values, and optimal strategies for all the featured games we have introduced. CCS CONCEPTS• Software and its engineering → Software product lines; • Theory of computation → Verification by model checking.

show abstract

“…return U ′ : S → (P ′ → AE ∪ {∞}) already shown and not depicted due to space restrictions. They can be found in the long version [24].…”

Section: Featured Energy and Parity Gamesmentioning

confidence: 99%