On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata.

Tobias Winkler Joost-Pieter Katoen

Published in: CoRR (2023)

Keyphrases

generative model
cellular automata
bayesian networks
uncertain data
finite automata
data sets
case study
access control
information theoretic
conditional probabilities
database
lower bound
finite state
probability theory
tree automata