Symbolic Time and Space Tradeoffs for Probabilistic Verification.

Krishnendu Chatterjee Wolfgang Dvorák Monika Henzinger Alexander Svozil

Published in: CoRR (2021)

Keyphrases

probabilistic model
case study
design decisions
search space
space time
databases
bayesian networks
data structure
video sequences
low dimensional
generative model
model checking
information theoretic
posterior probability
asynchronous circuits