• PRISM

  • Referenced in 442 articles [sw01186]
  • models: discrete-time Markov chains, Markov decision processes and continuous-time Markov chains. Analysis ... checking engines: one symbolic, using BDDs (binary decision diagrams) and MTBDDs (multi-terminal BDDs...
  • MRMC

  • Referenced in 72 articles [sw04129]
  • reachability analysis for continuous-time Markov decision processes (CTMDPs) and CSL model checking by discrete...
  • POMDPS

  • Referenced in 39 articles [sw03055]
  • algorithms for POMDPS. Partially Observable Markov Decision Processes (POMDPs) provide a rich framework for sequential...
  • POMDP

  • Referenced in 24 articles [sw03204]
  • Partially Observable Markov Decision Process (POMDP). The ’pomdp-solve’ program solves problems that are formulated ... partially observable Markov decision processes, a.k.a. POMDPs. It uses the basic dynamic programming approach...
  • M-MACBETH

  • Referenced in 104 articles [sw16199]
  • with all the decision maker ’s judgements. Through a similar process weights are generated...
  • IPSSIS

  • Referenced in 14 articles [sw07158]
  • through the various stages of the decision process. Our purpose in this article ... incorporate his preferences in the decision process. The proposed approach, which grounds its basis...
  • LiQuor

  • Referenced in 18 articles [sw04136]
  • operational semantics based on (finite) Markov decision processes. LiQuor provides the facility to perform...
  • FAUST2

  • Referenced in 14 articles [sw23682]
  • possibly non-deterministic) discrete-time Markov processes (dtMP) defined over uncountable (continuous) state spaces ... finite-state Markov chain or Markov decision processes. The abstraction procedure runs in MATLAB...
  • Expert Choice

  • Referenced in 31 articles [sw16178]
  • Expert Choice Decision Support Software. Analytical Hierarchy Process (AHP) Software...
  • MADM

  • Referenced in 133 articles [sw06484]
  • Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods presents the concepts and details ... methods are covered including Analytic Hierarchy Process (AHP), Technique for Order Preference by Similarity ... improved upon and three novel multiple attribute decision making methods for solving the decision making...
  • LFLC 2000

  • Referenced in 12 articles [sw08217]
  • specific text describing the given process, decision, or classification situation. The users may thus work...
  • NMRDPP

  • Referenced in 6 articles [sw10437]
  • planning with non-Markovian rewards. A decision process in which rewards depend on history rather ... current state is called a decision process with non-Markovian rewards (NMRDP). In decision-theoretic ... than the commonly adopted fully Markovian Decision Process (MDP) model. While the more tractable solution ... paper presents NMRDPP (Non-Markovian Reward Decision Process Planner), a software platform for the development...
  • FluCaP

  • Referenced in 11 articles [sw07748]
  • algorithm for solving First-Order Markov Decision Processes (FOMDPs). Our approach combines first-order state...
  • IPC-4

  • Referenced in 10 articles [sw03495]
  • approaches. One community consists of Markov decision process (MDP) researchers interested in developing algorithms that ... consists of planning researchers incorporating probabilistic and decision theoretic concepts into their planning algorithms. Cross...
  • Rapture

  • Referenced in 7 articles [sw13409]
  • Rapture: a tool for verifying Markov decision processes. We present a tool that performs verification ... quantified reachability properties over Markov decision processes (or probabilistic transition system). The originality...
  • gPROMS

  • Referenced in 20 articles [sw07475]
  • modelling software products enable complex process design and operational decisions to be based...
  • RRE

  • Referenced in 9 articles [sw22305]
  • solving a partially observable competitive Markov decision process that is automatically derived from attack-response...
  • DPPN

  • Referenced in 6 articles [sw03466]
  • player decision process: towards a game theory implementation using DPPN In this paper we introduce ... point for one-player games using decision process Petri nets. We prove that the concept...
  • MARKEX

  • Referenced in 10 articles [sw10912]
  • enterprises involved in the decision making process. The system’s model base encompasses statistical analysis ... support decision makers in different stages of the product development process...
  • iscasMc

  • Referenced in 8 articles [sw36939]
  • evaluation of Markov chains and decision processes against PCTL and PCTL* specifications. Compared to PRISM...