Now showing items 1-1 of 1

    • Compositional Reasoning for Markov Decision Processes 

      HENNESSY, MATTHEW (2011)
      Markov decision processes (MDPs) have long been used to model qualitative aspects of systems in the presence of uncertainty. However, much of the literature on MDPs takes a monolithic approach, by modelling a system as a ...