A carregar...
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...
Na minha lista:
| Publicado no: | Tools and Algorithms for the Construction and Analysis of Systems |
|---|---|
| Main Authors: | , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2020
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7439734/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-45190-5_18 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|