-theoretic techniques have long been thought to introduce an exponential penalty, making them essentially useless for model-checking. Recently, Bernholtz and Grumberg have shown that this exponential penalty can be avoided, though they did not match the linear complexity of non-automata-theoretic algorithms

In this paper we introduce a new procedure called α-Discounting Method for Multi-Criteria Decision Making (α-D MCDM), which is as an alternative and extension of Saaty’s Analytical Hierarchy Process (AHP). It works for any set of preferences that can be transformed into a system of homogeneous

The α-Discounting Method was developed to be an alternative to and extension of the Analytical Hierarchy Process (AHP) to solve multi-criteria decision-making (MCDM) problems with non-commensurable and conflicting criteria. In contrast to the AHP, this method works not only for pairwise comparisons

Abstract � Multi-Criteria Decision Making (MCDM) methods have evolved to accommodate various types of applications. Dozens of methods have been developed, with even small variations to existing methods causing the creation of new branches of research. This paper performs a literature review

The core of operations research is the development of approaches for optimal decision making. A prominent class of such problems is multi-criteria decision making (MCDM). The typical MCDM problem deals with the evaluation of a set of alternatives in terms of a set of decision criteria. This paper

. Selection of the best solution is a non-trivial task, because criteria may conflict each other. Multi-Criteria Decision Making (MCDM) methods may be useful in the matter, allowing to rank the overall performances for the set of alternatives and, therefore, to identify the optimal one. In the study presented

Abstract. The purpose of this work is to propose a plan for future research and development of the qualitative decision support method DEX. DEX is a qualitative multi-attribute modelling method used to evaluate and analyse multiple decision alternatives in order to select the best alternative. We

In this report we show how the class of adaptive prediction methods that Sutton called "temporal difference," or TD, methods are related to the theory of squential decision making. TD methods have been used as "adaptive critics" in connectionist learning systems, and have been

strategies. The interface between problem-specific and generic parts of the exploration framework is made explicit by defining an interface called PISA. This specification and implementation interface and the availability of a wide range of randomised multi-objective search methods makes the proposed

The investment of mutual funds which investors are often required evaluating the investment strategies according to their own subjective preferences in terms of numerical values from various criteria. This situation can be regarded as a fuzzy multiple criteria decision-making (MCDM) problem