Symbolic Time and Space Tradeoffs for Probabilistic Verification.

Krishnendu Chatterjee Wolfgang Dvorák Monika Henzinger Alexander Svozil

Published in: LICS (2021)

Keyphrases

probabilistic model
search space
higher dimensional
database
neural network
multiscale
low dimensional
symbolic representation
information retrieval
learning algorithm
information systems
space time
model checking
parameter space
probability theory