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

Tobias Winkler Joost-Pieter Katoen

Published in: LICS (2023)

Keyphrases

probabilistic model
cellular automata
model checking
finite state
finite automata
posterior probability
uncertain data
public key
databases
xml documents
context sensitive
regular expressions
probabilistic reasoning
probabilistic logic
probabilistic approaches
probabilistic automata