Multi-objective robust strategy synthesis for Interval Markov decision processes
Interval Markov decision processes (IMDPs) generalise classical MDPs by having interval-valued transition probabilities. They provide a powerful modelling tool for probabilistic systems with an additional variation or uncertainty that prevents the knowledge of the exact transition probabilities. In...
| Main Authors: | , , , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2017
|