Weighted timed games are played by two players on a timed automaton equipped with weights: one player wants to minimise the accumulated weight while reaching a target, while the other has an opposite objective. Used in a reactive synthesis perspective, this quantitative extension of timed games allows one to measure the quality of controllers. Weighted timed games are notoriously difficult and ...

Abstract. We present a class of initial-configurations for the Cucker-Smale flocking type models leading no finite-time collisions between particles. For this class of initial-configurations, the global existence of smooth solutions to the Cucker-Smale model with singular communication weights is established. This also generalizes the earlier flocking estimates for the Cucker-Smale type models ...

in models of data envelopment analysis (dea), an optimal set of weights is generally assumed to represent the assessed decision making unit (dmu) in the best light in comparison to all the other dmus, and so there is an optimal set of weights corresponding to each dmu. the present paper, proposes a three stage method to determine one common set of weights for decision making units. then, we use...