Abstract:Feature-based analysis of software product lines 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. As part of a program to make game-based model checking available for software product lines, we introduce featured reachability games, featured minimum reachability games, featured discounted games, featured energy games, and featured parity games. We show that all these admit optimal featured strategies, which project to optimal strategies for any product, and how to compute winners and values of such games in a family-based manner.

Games characterizing certain families of functions

Games characterizing certain families of functions

A game characterizing Baire class 1 functions

Point-set games and functions with the hereditary small oscillation property

Properties of equi-Baire 1 and equi-Lebesgue families of functions

Borel Families of Games

Generalized Baire class functions

Borsik's properties of topological spaces and their applications

Characterizing function spaces which have the property (B) of Banakh

Extension of bounded Baire-one functions vs Extension of unbounded Baire-one functions

Unitary representations of the groups of measurable and continuous functions with values in the circle

Extremal Problems of Some Family of Holomorphic Functions of Several Complex Variables

Linear extensions of Baire-one and Borel functions

Baire property of space of Baire-one functions

Elementary submodels, coding strategies, and an infinite real number game

On certain classes of Baire-1 functions with applications to Banach space theory

Characterizing Inverse Sequences For Which Their Inverse Limits Are Homeomorphic

Functions of bounded variation from ideal perspective

Featured games