Nalaganje...
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints
This paper introduces Farkas certificates for lower and upper bounds on minimal and maximal reachability probabilities in Markov decision processes (MDP), which we derive using an MDP-variant of Farkas’ Lemma. The set of all such certificates is shown to form a polytope whose points correspond to wi...
Shranjeno v:
| izdano v: | Tools and Algorithms for the Construction and Analysis of Systems |
|---|---|
| Main Authors: | , , |
| Format: | Artigo |
| Jezik: | Inglês |
| Izdano: |
2020
|
| Teme: | |
| Online dostop: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7439734/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-45190-5_18 |
| Oznake: |
Označite
Brez oznak, prvi označite!
|