Wordt geladen...

Optimistic Value Iteration

Markov decision processes are widely used for planning and verification in settings that combine controllable or adversarial choices with probabilistic behaviour. The standard analysis algorithm, value iteration, only provides lower bounds on infinite-horizon probabilities and rewards. Two “sound” v...

Volledige beschrijving

Bewaard in:
Bibliografische gegevens
Gepubliceerd in:Computer Aided Verification
Hoofdauteurs: Hartmanns, Arnd, Kaminski, Benjamin Lucien
Formaat: Artigo
Taal:Inglês
Gepubliceerd in: 2020
Onderwerpen:
Online toegang:https://ncbi.nlm.nih.gov/pmc/articles/PMC7363440/
https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-53291-8_26
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!