Sort by: Order: Results:

Now showing items 1-1 of 1

  • Compositional reasoning for weighted Markov decision processes 

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