Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration.

Tobias Winkler Joost-Pieter Katoen

Published in: TACAS (2) (2023)

Keyphrases

markov decision processes
heuristic search
uncertain data
finite automata
bayesian networks
state space
access control
neural network
dynamic programming
generative model
cellular automata
information theoretic
probabilistic model
optimal policy
distributed databases
finite state