Fairness as a Program Property

Cooperative Benefit and Cost Games under Fairness Concerns

Solution concepts in cooperative games are based on either cost games or benefit games. Although cost games and benefit games are strategically equivalent, that is not the case in general for solution concepts. Motivated by this important observation, a new property called invariance property with respect to benefit/cost allocation is introduced in this paper. Since such a property can be regar...

Fairness and Respect in Obesity Prevention Policies: A Response to David Buchanan

Fair enumeration combinators

Enumerations represented as bijections between the natural numbers and elements of some given type have recently garnered interest in property-based testing because of their efficiency and flexibility. There are, however, many ways of defining these bijections, some of which are better than others. This paper offers a new property of enumeration combinators called fairness that identifies enume...

\Direct" Model Checking of Temporal Properties

In this paper, we address the problem of model checking temporal properties of nite-state programs. This problem is usually solved by modelling the program as well as the negation of the desired temporal property as automata on in nite words (B uchi automata) and checking for emptiness of the automaton resulting from the synchronous product of the program automaton and the negated property aut...

Direct Model Checking of Temporal

In this paper, we address the problem of model checking temporal properties of nite-state programs. This problem is usually solved by modelling the program as well as the negation of the desired temporal property as automata on innnite words (B uchi automata) and checking for emptiness of the automaton resulting from the synchronous product of the program automaton and the negated property auto...