We consider two-player turn-based game arenas for which we investigate uniformity properties of strategies. These properties involve sets of plays in order to express useful constraints on strategies that are not μ-calculus definable. Typically, we can represent constraints on allowed...

We consider a search game in which a hider chooses to hide in any one of many cells. A searcher looks in any of the cells. The probability of finding the hider depends (a) on the characteristics of the cell, and (b) on whether the searcher looks in the right cell. It is possible that the hider...

This paper introduces an extension of the vehicle routing problem by including several distributors in competition. Each customer is characterized by demand and a wholesale price. Under this scenario a solution may have unserviced customers and elementary routes with no customer visits. The...

Carbon leakage and competitiveness concerns are some of the main reasons why an international environmental agreement is lacking to fight climate change. Many studies discussed the adoption of a border tax adjustment (BTA) to allow countries that would like to implement a carbon tax to level the...

This introduction presents the theme of this volume, the rationale for it, and the history of the conference series from which it originated. It provides also a short description of the papers included.

We address quality control of products undergoing multiple transshipment stages handled by different parties. Depending on the transportation modes, the stages may expose the products to hostile environments, such as extreme temperatures, which could influence quality. We incorporate the effect...