55
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Book Chapter: found
      Is Open Access
      Tools and Algorithms for the Construction and Analysis of Systems 

      Multi-cost Bounded Reachability in MDP

      other

      Read this book at

      Buy book Bookmark
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references31

          • Record: found
          • Abstract: found
          • Article: not found

          A Survey of Multi-Objective Sequential Decision-Making

          Sequential decision-making problems with multiple objectives arise naturally in practice and pose unique challenges for research in decision-theoretic planning and learning, which has largely focused on single-objective settings. This article surveys algorithms designed for sequential decision-making problems with multiple objectives. Though there is a growing body of literature on this subject, little of it makes explicit under what circumstances special methods are needed to solve multi-objective problems. Therefore, we identify three distinct scenarios in which converting such a problem to a single-objective one is impossible, infeasible, or undesirable. Furthermore, we propose a taxonomy that classifies multi-objective methods according to the applicable scenario, the nature of the scalarization function (which projects multi-objective values to scalar ones), and the type of policies considered. We show how these factors determine the nature of an optimal solution, which can be a single policy, a convex hull, or a Pareto front. Using this taxonomy, we survey the literature on multi-objective methods for planning and learning. Finally, we discuss key applications of such methods and outline opportunities for future work.
            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            A Storm is Coming: A Modern Probabilistic Model Checker

              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Verification of Markov Decision Processes Using Learning Algorithms

                Bookmark

                Author and book information

                Book Chapter
                2018
                April 14 2018
                : 320-339
                10.1007/978-3-319-89963-3_19
                563b73ff-3762-4c0e-b341-ababc4472cd7
                History

                Comments

                Comment on this book

                Book chapters

                Similar content3,329

                Cited by2