Robust Markov decision processes: a place where AI and formal methods meet
Markov decision processes (MDPs) are a standard model for sequential decision-making problems and are widely used across many scientific areas, including formal methods and artificial intelligence (AI). MDPs do, however, come with the restrictive assumption that the transition probabilities need to...
| Main Authors: | , , , , |
|---|---|
| Format: | Book section |
| Language: | English |
| Published: |
Springer
2024
|