Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration.
Tobias WinklerJoost-Pieter KatoenPublished in: CoRR (2023)
Keyphrases
- probabilistic automata
- finite state automata
- markov decision processes
- bayesian networks
- probabilistic model
- state space
- access control
- probabilistic approaches
- neural network
- policy iteration
- infinite horizon
- uncertain data
- context sensitive
- model checking
- heuristic search
- generative model
- dynamic programming
- belief state
- probabilistic logic
- data sets
- markov decision chains